caa a22 4500 469126825 CHVBK 20180323133152.0 cr unu---uuuuu 170328e19920901xx s 000 0 eng 10.1007/BF01627507 doi (NATIONALLICENCE)springer-10.1007/BF01627507 Otto Martin Institut für Mathematische Logik, Universität Freiburg, W-7800, Freiburg, Federal Republic of Germany aut EM constructions for a class of generalized quantifiers [Elektronische Daten] [Martin Otto] Summary: 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 maximal number of isomorphism types of linearly ordered models of regular cardinality is shown to be achieved for theories that admit an EM functor on a typically restricted domain. Springer-Verlag, 1992 Archive for Mathematical Logic Springer-Verlag 31/5(1992-09-01), 355-371 0933-5846 31:5<355 1992 31 153 https://doi.org/10.1007/BF01627507 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF01627507 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Otto Martin Institut für Mathematische Logik, Universität Freiburg, W-7800, Freiburg, Federal Republic of Germany aut NATIONALLICENCE 773 0- Archive for Mathematical Logic Springer-Verlag 31/5(1992-09-01), 355-371 0933-5846 31:5<355 1992 31 153 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer