Based on fieldwork in an upper-secondary school Sweden, this paper centers Swedish as two school-subjects: (SWE) and a second language (SSL), taught one class. Adhering to separate curricula, by SWE SSL teachers respectively, they are often implemented physically separated subjects. By contrast, explores three different learning spaces relation everyday negotiations of belonging participation a...

We describe a criterion for real or complex hyperbolic lattice to admit residually finite rational solvable (RFRS) tower that consists entirely of congruence subgroups. use this show certain Bianchi groups PSL 2 (

The study of representation requires being able to measure representation. The concept to be measured, in the abstract, is the distance or “congruence” between legislators and their constituents, but data limitations often preclude measuring congruence directly. A popular alternative is to regress legislator roll call votes on a proxy for constituent preferences, with the coefficient labeled “r...

In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on instruction sequences are paid attention to: instruction sequence congruence, structural congruence, and behavioural congruence. Sound and complete axiom systems for the first two congruences were already given in early papers on program algebra. The current paper is the first one that is concerne...

The aim of this paper is to further develop the congruence theory on lattice implication algebras. Firstly, we introduce the notions of vague similarity relations based on vague relations and vague congruence relations. Secondly, the equivalent characterizations of vague congruence relations are investigated. Thirdly, the relation between the set of vague filters and the set of vague congruence...