Compact extensions of L(Q) (part 1a)

DOI10.1016/0003-4843(77)90019-5zbMath0356.02012OpenAlexW2066633462MaRDI QIDQ4128785

Menachem Magidor, Jerome I. Malitz

Publication date: 1977

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(77)90019-5

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other classical first-order model theory (03C68)

Related Items (36)

Algebraic analysis of the logic with the quantifier there exist uncountably many ⋮ Can you take Solovay's inaccessible away? ⋮ Some contributions to definability theory for languages with generalized quantifiers ⋮ Models with second order properties. III. Omitting types forL(Q) ⋮ The ordered field of real numbers and logics with Malitz quantifiers ⋮ Magidor-Malitz quantifiers in modules ⋮ S-forcing. IIa: Adding diamonds and more applications: Coding sets, Arhangel'skii's problem and \({\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2\). (With an appendix by John P. Burgess)] ⋮ There are reasonably nice logics ⋮ Ultraproduct Invariant Logics ⋮ A Boolean Algebra with Few Subalgebras, Interval Boolean Algebras and Retractiveness ⋮ The expressive power of Malitz quantifiers for linear orderings ⋮ Peano Arithmetic and Hyper-Ramsey Logic ⋮ Inner models from extended logics: Part 1 ⋮ Models with second order properties. V: A general principle ⋮ Magidor-Malitz reflection ⋮ A construction scheme for non-separable structures ⋮ On the homogeneity property for certain quantifier logics ⋮ EM constructions for a class of generalized quantifiers ⋮ A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) ⋮ Some model theory for monotone quantifiers ⋮ A new omitting types theorem for L(Q) ⋮ Beth's property fails in L^<ω ⋮ The measure quantifier ⋮ The Craig interpolation theorem in abstract model theory ⋮ The relative expressive power of some logics extending first-order logic ⋮ Definability hierarchies of generalized quantifiers ⋮ L-spaces and S-spaces in \(P(\omega)\) ⋮ The theorems of beth and Craig in abstract model theory II. Compact logics ⋮ Interpolation in Logiken monotoner systeme ⋮ Model constructions in stationary logic. Part I. Forcing ⋮ On the consistency of local and global versions of Chang’s Conjecture ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ On generalized quantifiers in arithmetic ⋮ On the role of Ramsey quantifiers in first order arithmetic ⋮ On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types ⋮ Applications of Boolean powers of algebraic systems

This page was built for publication: Compact extensions of L(Q) (part 1a)