The theorems of beth and Craig in abstract model theory II. Compact logics

DOI10.1007/BF02011631MaRDI QIDQ3926560zbMATH OpenFDO

Authors S. Shelah, Johann A. Makowsky

Publication date 1981

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137973

zbMATH Keywords

stationary logic

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Abstract model theory (03C95) Interpolation, preservation, definability (03C40)

Cites work

• scientific article; zbMATH DE number 3735785 (Why is no real title available?)
• scientific article; zbMATH DE number 3328129 (Why is no real title available?)
• A generalization of Ehrenfeucht's game and some applications
• An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications
• An application of games to the completeness problem for formalized theories
• Aronszajn trees and the independence of the transfer property
• Axioms for abstract model theory
• Beth's theorem in cardinality logics
• Compact extensions of L(Q) (part 1a)
• Generalized Quantifiers and Compact Logic
• Generalized quantifiers and well orderings
• Isomorphism Types of Trees
• Logic with the quantifier “there exist uncountably many”
• Model theory
• Models with second order properties. III. Omitting types forL(Q)
• On Shelah's compactness of cardinals
• On models with power-like orderings
• Some model theory for monotone quantifiers
• Stationary logic
• Syntactical and semantical properties of generalized quantifiers
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• Trees
• Zum L(Q)-Interpolationsproblem
• δ-Logics and generalized quantifiers

Cited in

(11)

• AN EXPOSITION OF THE COMPACTNESS OF
• Harmonious logic: Craig's interpolation theorem and its descendants
• Barwise: Abstract Model Theory and Generalized Quantifiers
• A note on extensions of infinitary logic
• The Beth-closure of ℒ(Q_α) is not finitely generated
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
• Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group
• Positive results in abstract model theory: a theory of compact logics
• Definability properties and the congruence closure
• Remarks in abstract model theory
• MAXIMALITY OF LOGIC WITHOUT IDENTITY

This page was built for publication: The theorems of beth and Craig in abstract model theory II. Compact logics

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