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

DOI10.1007/BF02011631zbMath0472.03028MaRDI QIDQ3926560

Saharon 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) Interpolation, preservation, definability (03C40) Abstract model theory (03C95)

Related Items (11)

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

Cites Work

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

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