Generalized Quantifiers and Compact Logic

DOI10.2307/1997362MaRDI QIDQ4083390zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 1975

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

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(36)

• The Craig interpolation theorem in abstract model theory
• Stationary logic of ordinals
• Remarks in abstract model theory
• A cut elimination theorem for stationary logic
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• Model theory via set theory
• New axiomatizations for logics with generalized quantifiers
• A note on extensions of infinitary logic
• \(\text{PA} (aa)\)
• Classification theory through stationary logic
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• On compactness of logics that can express properties of symmetry or connectivity
• \(\mu\)-abstract elementary classes and other generalizations
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• The role of the Omitting Types Theorem in infinitary logic
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Stationary Logic and Ordinals
• On orderings of the family of all logics
• Local character of Kim-independence
• AN EXPOSITION OF THE COMPACTNESS OF
• Inner models from extended logics. I
• Universal theories and compactly expandable models
• Sameness
• Structural logic and abstract elementary classes with intersections
• Filtration games and potentially projective modules
• ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL
• When cardinals determine the power set: inner models and Härtig quantifier logic
• The structure of C(aa)
• Cofinality quantifiers in abstract elementary classes and beyond
• The Boolean compactness theorem for \(\mathrm{L}_{\infty \infty}\)
• 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}\)
• Definability properties and the congruence closure
• 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
• Model theory of the regularity and reflection schemes

This page was built for publication: Generalized Quantifiers and Compact Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4083390)