Compact extensions of L(Q) (part 1a)
From MaRDI portal
Cited in
(37)- The Craig interpolation theorem in abstract model theory
- 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
- Algebraic analysis of the logic with the quantifier there exist uncountably many
- Can you take Solovay's inaccessible away?
- 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)
- The expressive power of Malitz quantifiers for linear orderings
- 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})\)
- Definability hierarchies of generalized quantifiers
- L-spaces and S-spaces in \(P(\omega)\)
- Peano Arithmetic and Hyper-Ramsey Logic
- A Boolean Algebra with Few Subalgebras, Interval Boolean Algebras and Retractiveness
- On the consistency of local and global versions of Chang's conjecture
- European Summer Meeting of the Association for Symbolic Logic
- The ordered field of real numbers and logics with Malitz quantifiers
- Magidor-Malitz quantifiers in modules
- A new omitting types theorem for L(Q)
- Ultraproduct Invariant Logics
- Beth's property fails in L<ω
- The theorems of beth and Craig in abstract model theory II. Compact logics
- Model constructions in stationary logic. Part I. Forcing
- On generalized quantifiers in arithmetic
- On the role of Ramsey quantifiers in first order arithmetic
- Some contributions to definability theory for languages with generalized quantifiers
- Models with second order properties. III. Omitting types forL(Q)
- There are reasonably nice logics
- Some model theory for monotone quantifiers
- The measure quantifier
- The relative expressive power of some logics extending first-order logic
- Interpolation in Logiken monotoner systeme
- Inner models from extended logics. I
- Magidor-Malitz reflection
- A construction scheme for non-separable structures
- Models with second order properties. V: A general principle
- Cofinality quantifiers in abstract elementary classes and beyond
This page was built for publication: Compact extensions of L(Q) (part 1a)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4128785)