Automorphism Properties of Stationary Logic
Otto, Martin
J. Symbolic Logic, Tome 57 (1992) no. 1, p. 231-237 / Harvested from Project Euclid
By means of an Ehrenfeucht-Mostowski construction we obtain an automorphism theorem for a syntactically characterized class of $L_{aa}$-theories comprising in particular the finitely determinate ones. Examples of $L_{aa}$-theories with only rigid models show this result to be optimal with respect to a classification in terms of prenex quantifier type: Rigidity is seen to hinge on quantification of type $\ldots\forall\ldots\mathbf{\operatorname{stat}}\ldots$ permitting of the parametrization of families of disjoint stationary systems by the elements of the universe.
Publié le : 1992-03-14
Classification: 
@article{1183743902,
     author = {Otto, Martin},
     title = {Automorphism Properties of Stationary Logic},
     journal = {J. Symbolic Logic},
     volume = {57},
     number = {1},
     year = {1992},
     pages = { 231-237},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743902}
}
Otto, Martin. Automorphism Properties of Stationary Logic. J. Symbolic Logic, Tome 57 (1992) no. 1, pp.  231-237. http://gdmltest.u-ga.fr/item/1183743902/