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:
“The best way to teach a child restraint and generosity is to be a model of those qualities yourself. If your child sees that you want a particular item but refrain from buying it, either because it isn’t practical or because you can’t afford it, he will begin to understand restraint. Likewise, if you donate books or clothing to charity, take him with you to distribute the items to teach him about generosity.”
—Lawrence Balter (20th century)
“We have our little theory on all human and divine things. Poetry, the workings of genius itself, which, in all times, with one or another meaning, has been called Inspiration, and held to be mysterious and inscrutable, is no longer without its scientific exposition. The building of the lofty rhyme is like any other masonry or bricklaying: we have theories of its rise, height, decline and fall—which latter, it would seem, is now near, among all people.”
—Thomas Carlyle (1795–1881)