Switch to: References

Add citations

You must login to add citations.
  1. Automorphism properties of stationary logic.Martin Otto - 1992 - Journal of Symbolic Logic 57 (1):231-237.
    By means of an Ehrenfeucht-Mostowski construction we obtain an automorphism theorem for a syntactically characterized class of Laa-theories comprising in particular the finitely determinate ones. Examples of Laa-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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.