Cyclic Order - Symmetries and Model Theory

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:

    If the man who paints only the tree, or flower, or other surface he sees before him were an artist, the king of artists would be the photographer. It is for the artist to do something beyond this: in portrait painting to put on canvas something more than the face the model wears for that one day; to paint the man, in short, as well as his features.
    James Mcneill Whistler (1834–1903)

    Frankly, these days, without a theory to go with it, I can’t see a painting.
    Tom Wolfe (b. 1931)