Generalized Quantifiers and Compact Logic

DOI10.2307/1997362zbMath0322.02010OpenAlexW4247083719MaRDI QIDQ4083390

Saharon Shelah

Publication date: 1975

Full work available at URL: https://doi.org/10.2307/1997362

Mathematics Subject Classification ID

Model theory (03C99) Logic with extra quantifiers and operators (03C80) Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68)

Related Items

On orderings of the family of all logics, \(\mu\)-abstract elementary classes and other generalizations, Remarks in abstract model theory, A cut elimination theorem for stationary logic, \(\text{PA} (aa)\), Filtration games and potentially projective modules, Stationary Logic and Ordinals, ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL, When cardinals determine the power set: inner models and Härtig quantifier logic, Iterated elementary embeddings and the model theory of infinitary logic, The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics, Local character of Kim-independence, Classification theory through stationary logic, Strong downward Löwenheim-Skolem theorems for stationary logics. I, Structural logic and abstract elementary classes with intersections, Model theory of the regularity and reflection schemes, Inner models from extended logics: Part 1, A note on extensions of infinitary logic, Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\), UNIVERSAL THEORIES AND COMPACTLY EXPANDABLE MODELS, Model theory via set theory, New axiomatizations for logics with generalized quantifiers, Sameness, The Craig interpolation theorem in abstract model theory, AN EXPOSITION OF THE COMPACTNESS OF, The role of the Omitting Types Theorem in infinitary logic, The theorems of beth and Craig in abstract model theory II. Compact logics, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, Positive results in abstract model theory: a theory of compact logics, Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\), Stationary logic of ordinals, On compactness of logics that can express properties of symmetry or connectivity, Definability properties and the congruence closure

Cites Work

• Unnamed Item
• Unnamed Item
• Model theory
• Some model theoretic results for \(\omega\)-logic
• Axiom schemata of strong infinity in axiomatic set theory
• Two cardinal compactness
• Beth's theorem in cardinality logics
• Models of axiomatic theories admitting automorphisms
• On a generalization of quantifiers
• The first order properties of products of algebraic systems
• Homogeneous Universal Models.
• An elementary sentence which has ordered models
• On power-like models for hyperinaccessible cardinals
• On models with power-like orderings
• A Note on the Two Cardinal Problem
• On Extensions of Elementary Logic
• Logic with the quantifier “there exist uncountably many”
• Incompactness in languages with infinitely long expressions
• Some applications of model theory in set theory
• Absolute logics and L∞ω
• The fine structure of the constructible hierarchy
• Löwenheim-Skolem and interpolation theorems in infinitary languages
• Elementary extensions of models of set theory