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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • EM constructions for a class of generalized quantifiers.Martin Otto - 1992 - Archive for Mathematical Logic 31 (5):355-371.
    We consider a class of Lindström extensions of first-order logic which are susceptible to a natural Skolemization procedure. In these logics Ehrenfeucht Mostowski (EM) functors for theories with arbitrarily large models can be obtained under suitable restrictions. Characteristic dependencies between algebraic properties of the quantifiers and the maximal domains of EM functors are investigated.Results are applied to Magidor Malitz logic,L(Q <ω), showing e.g. its Hanf number to be equal to ℶω(ℵ1) in the countably compact case. Using results of Baumgartner, the (...)
    Download  
     
    Export citation  
     
    Bookmark