Symmetries and Model Theory
Evans, Macpherson & Ivanov (1997) provide a model-theoretic description of the covering maps of cycles.
Tararin (2001, 2001) studies groups of automorphisms of cycles with various transitivity properties. Giraudet & Holland (2002) characterize cycles whose full automorphism groups act freely and transitively. Campero-Arena & Truss (2009) characterize countable colored cycles whose automorphism groups act transitively. Truss (2009) studies the automorphism group of the unique (up to isomorphism) countable dense cycle.
Kulpeshov & Macpherson (2005) study minimality conditions on circularly ordered structures, i.e. models of first-order languages that include a cyclic order relation. These conditions are analogues of o-minimality and weak o-minimality for the case of linearly ordered structures. Kulpeshov (2006, 2009) continues with some characterizations of ω-categorical structures.
Read more about this topic: Cyclic Order
Famous quotes containing the words model and/or theory:
“I’d like to be the first model who becomes a woman.”
—Lauren Hutton (b. 1944)
“Freud was a hero. He descended to the “Underworld” and met there stark terrors. He carried with him his theory as a Medusa’s head which turned these terrors to stone.”
—R.D. (Ronald David)