EM constructions for a class of generalized quantifiers

DOI10.1007/BF01627507zbMath0768.03023OpenAlexW2043300393MaRDI QIDQ1204118

Martin Otto

Publication date: 1 March 1993

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01627507

zbMATH Keywords

SkolemizationHanf numberEhrenfeucht-Mostowski functorsLindström extensions of first-order logicMagidor Malitz logictheories with arbitrarily large models

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Cites Work

• Unnamed Item
• Partitioning pairs of countable ordinals
• Very strongly rigid Boolean algebras, continuum discrete set condition, countable antichain condition. I
• On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements
• Hanf numbers for fragments of L\(_{\infty \omega}\)
• Models of axiomatic theories admitting automorphisms
• Chains in Ehrenfeucht Mostowski models
• Continuity and elementary logic
• A new class of order types
• Compact extensions of L(Q) (part 1a)
• On defining well-orderings
• On models with large automorphism groups
• Die Automorphismenmengen der Modelle einerL Q x -Theorie
• Hanf numbers and well-ordering numbers