The theorems of beth and Craig in abstract model theory II. Compact logics
From MaRDI portal
Publication:3926560
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
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