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

DOI10.1007/BF02011631zbMATH Open0472.03028MaRDI QIDQ3926560FDOQ3926560

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

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

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)