Positive results in abstract model theory: a theory of compact logics
From MaRDI portal
Publication:796519
DOI10.1016/0168-0072(83)90021-0zbMath0544.03013OpenAlexW2092513686MaRDI QIDQ796519
Saharon Shelah, Johann A. Makowsky
Publication date: 1983
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(83)90021-0
Related Items
Remarks in abstract model theory, Vopěnka's principle and compact logics, Limit ultrapowers and abstract logics, The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics, On the homogeneity property for certain quantifier logics, Harmonious logic: Craig's interpolation theorem and its descendants, The Craig interpolation theorem in abstract model theory, European Summer Meeting of the Association for Symbolic Logic, Paris, 1985, A topological characterization of \((\lambda,\mu)^*-compactness\)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maximal models in the language with quantifier There exist uncountably many
- On the role of supercompact and extendible cardinals in logic
- Vopěnka's principle and compact logics
- Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
- The theorems of beth and Craig in abstract model theory II. Compact logics
- Extensions of countable infinitary logic which preserve most of its nice properties
- Interpolation, compactness and JEP in soft model theory
- Some properties related to [a,b-compactness]
- Generalized Quantifiers and Compact Logic
- Adding propositional connectives to countable infinitary logic
- Axioms for abstract model theory
- A language for topological structures which satisfies a Lindström-theorem
- Weakly Normal Filters and Irregular Ultrafilters
- δ-Logics and generalized quantifiers
- Stationary logic
- On cardinalities of ultraproducts
- Limit Ultrapowers
