Positive results in abstract model theory: a theory of compact logics

DOI10.1016/0168-0072(83)90021-0zbMATH Open0544.03013OpenAlexW2092513686MaRDI QIDQ796519FDOQ796519

Authors: S. 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

Recommendations

• Publication:3211288
• scientific article; zbMATH DE number 4077186
• Duality for Compact Logics and Substitution in Abstract Model Theory
• Compactness and normality in abstract logics
• Limit ultrapowers and abstract logics

zbMATH Keywords

compactnessamalgamation propertycompact logicsregular ultrafilters

Mathematics Subject Classification ID

Abstract model theory (03C95) Models of other mathematical theories (03C65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized Quantifiers and Compact Logic
• Weakly Normal Filters and Irregular Ultrafilters
• Title not available (Why is that?)
• On the role of supercompact and extendible cardinals in logic
• δ-Logics and generalized quantifiers
• Limit Ultrapowers
• Some properties related to [a,b]-compactness
• Vopěnka's principle and compact logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stationary logic
• Axioms for abstract model theory
• Maximal models in the language with quantifier There exist uncountably many
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Adding propositional connectives to countable infinitary logic
• A language for topological structures which satisfies a Lindström-theorem
• On cardinalities of ultraproducts
• Title not available (Why is that?)

Cited In (25)

• Compactness in equational logic
• Compactness=JEP in any logic
• European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
• Harmonious logic: Craig's interpolation theorem and its descendants
• Downward transfer of satisfiability for sentences of L^1,1
• Duality for Compact Logics and Substitution in Abstract Model Theory
• The Craig interpolation theorem in abstract model theory
• Compactness and Independence in Non First Order Frameworks
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Embeddings, amalgamation and elementary equivalence: the representation of compact logics
• Compactness and normality in abstract logics
• Model theoretic characterizations of large cardinals revisited
• Universal theories and compactly expandable models
• Limit ultrapowers and abstract logics
• A topological characterization of \((\lambda,\mu)^*-compactness\)
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• On the homogeneity property for certain quantifier logics
• Some strong logics within combinatorial set theory and the logic of chains
• Remarks in abstract model theory
• Title not available (Why is that?)
• Vopěnka's principle and compact logics

This page was built for publication: Positive results in abstract model theory: a theory of compact logics

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