Pages that link to "Item:Q4128785"

The following pages link to Compact extensions of L(Q) (part 1a) (Q4128785):

Displaying 36 items.

• Magidor-Malitz reflection (Q527330) (← links)
• A construction scheme for non-separable structures (Q529233) (← links)
• Models with second order properties. V: A general principle (Q688436) (← links)
• The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
• On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types (Q1071014) (← links)
• Applications of Boolean powers of algebraic systems (Q1075311) (← links)
• Algebraic analysis of the logic with the quantifier ''there exist uncountably many'' (Q1076011) (← links)
• Can you take Solovay's inaccessible away? (Q1078178) (← links)
• 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) (Q1094419) (← links)
• The expressive power of Malitz quantifiers for linear orderings (Q1105586) (← links)
• On the homogeneity property for certain quantifier logics (Q1204106) (← links)
• EM constructions for a class of generalized quantifiers (Q1204118) (← links)
• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) (Q1208082) (← links)
• Definability hierarchies of generalized quantifiers (Q1824614) (← links)
• L-spaces and S-spaces in \(P(\omega)\) (Q1837414) (← links)
• Peano Arithmetic and Hyper-Ramsey Logic (Q3028994) (← links)
• A Boolean Algebra with Few Subalgebras, Interval Boolean Algebras and Retractiveness (Q3037505) (← links)
• On the consistency of local and global versions of Chang’s Conjecture (Q3130789) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Q3677726) (← links)
• The ordered field of real numbers and logics with Malitz quantifiers (Q3705421) (← links)
• Magidor-Malitz quantifiers in modules (Q3708786) (← links)
• A new omitting types theorem for <i>L(Q)</i> (Q3863864) (← links)
• Ultraproduct Invariant Logics (Q3875915) (← links)
• Beth's property fails in <i>L</i>^&lt;ω (Q3880816) (← links)
• The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560) (← links)
• Model constructions in stationary logic. Part I. Forcing (Q3936726) (← links)
• On generalized quantifiers in arithmetic (Q3947649) (← links)
• On the role of Ramsey quantifiers in first order arithmetic (Q3953757) (← links)
• Some contributions to definability theory for languages with generalized quantifiers (Q3964535) (← links)
• Models with second order properties. III. Omitting types forL(Q) (Q3967520) (← links)
• There are reasonably nice logics (Q3981457) (← links)
• Some model theory for monotone quantifiers (Q4141237) (← links)
• The measure quantifier (Q4189265) (← links)
• The relative expressive power of some logics extending first-order logic (Q4194947) (← links)
• Interpolation in Logiken monotoner systeme (Q4745811) (← links)
• Inner models from extended logics: Part 1 (Q5156477) (← links)