The goal of this article is to clarify the relationship between the topos of triads and the neo-Riemannian PLR-group. To do this, we first develop some theory of generalized interval systems: 1) we prove the well known fact that every pair of dual groups is isomorphic to the left and right regular representations of some group (Cayley’s Theorem), 2) given a simply transitive group action, we sh...

Given a uniform foliation by Gromov hyperbolic leaves on $3$-manifold, we show that the action of fundamental group universal circle is minimal and transitive pairs different points. We also prove two other results: general Reebless foliations are $\mathbb{R}$-covered give new description with in terms JSJ decomposition $M$.

Noninterference provides a control over information flow in a system for ensuring confidentiality and integrity properties. In the literature this notion has been well studied as transitive noninterference and intransitive noninterference. In this paper we define a framework on the notion of conditional noninterference, which allows to specify information flow policies based on the semantics of...

A regular and edge transitive graph which is not vertex transitive is said to be semisymmetric Every semisymmetric graph is necessarily bipartite with the two parts having equal size and the automorphism group acting transitively on each of these two parts A semisymmet ric graph is called biprimitive if its automorphism group acts prim itively on each part In this paper a classi cation of bipri...

We directly compare children learning argument expressing and argument dropping languages on the use of verb meaning and syntactic cues, by examining enactments of transitive and intransitive verbs given in transitive and intransitive syntactic frames. Our results show similarities in the children's knowledge: (1) Children were somewhat less likely to perform an action when the core meaning of ...

A circulant of order n is a Cayley graph for the cyclic group Zn, and as such, admits a transitive action of Zn on its vertices. This paper concerns 2-cell embeddings of connected circulants on closed orientable surfaces. Embeddings on the sphere (the planar case) were classified by Heuberger (2003), and by a theorem of Thomassen (1991), there are only finitely many vertex-transitive graphs wit...

We study unirational algebraic varieties and the fields of rational functions on them. We show that after adding a finite number of variables some of these fields admit an infinitely transitive model. The latter is an algebraic variety with the given field of rational functions and an infinitely transitive regular action of an algebraic group generated by unipotent algebraic subgroups. We expec...