EM constructions for a class of generalized quantifiers
From MaRDI portal
Publication:1204118
DOI10.1007/BF01627507zbMath0768.03023OpenAlexW2043300393MaRDI QIDQ1204118
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
SkolemizationHanf numberEhrenfeucht-Mostowski functorsLindström extensions of first-order logicMagidor Malitz logictheories with arbitrarily large models
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