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...

Prefix iteration is a variation on the original binary version of the Kleene star operation P Q, obtained by restricting the first argument to be an atomic action. The interaction of prefix iteration with silent steps is studied in the setting of Milner’s basic CCS. Complete equational axiomatizations are given for four notions of behavioural congruence over basic CCS with prefix iteration, viz...

Article history: Received 1 March 2011 Available online 9 March 2011 The relation of interest–major congruence to indicators of college success was examined as it was moderated by environmental constraint, individual flexibility, and congruence definition in an initial sample of 88,813 undergraduates (38,787 men and 50,026 women) from 42 different colleges and universities in 16 states. College...