Switch to: References

Add citations

You must login to add citations.
  1. The adequacy problem for classical logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Three Value Logics: An Introduction, A Comparison of Various Logical Lexica and Some Philosophical Remarks.Harold Hodes - 1989 - Annals of Pure and Applied Logic 43 (2):99-145.