δ-Logics and generalized quantifiers

DOI10.1016/0003-4843(76)90021-8zbMath0346.02007OpenAlexW1505529313MaRDI QIDQ4115128

Jonathan Stavi, Saharon Shelah, Johann A. Makowsky

Publication date: 1976

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(76)90021-8

Mathematics Subject Classification ID

Model theory (03C99) Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80) General logic (03B99)

Related Items

On orderings of the family of all logics ⋮ Remarks in abstract model theory ⋮ LOGICALITY AND MODEL CLASSES ⋮ Ultraproduct Invariant Logics ⋮ The Härtig quantifier: a survey ⋮ ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS ⋮ Directions in generalized quantifier theory ⋮ The metatheory of the classical propositional calculus is not axiomatizable ⋮ On vectorizations of unary generalized quantifiers ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics ⋮ Structural logic and abstract elementary classes with intersections ⋮ Duality Between Logics and Equivalence Relations ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ Infinitary logics and abstract elementary classes ⋮ Some model theory for monotone quantifiers ⋮ Model theory via set theory ⋮ The old and the new logic of metascience ⋮ European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ Definability hierarchies of generalized quantifiers ⋮ An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem ⋮ The theorems of beth and Craig in abstract model theory II. Compact logics ⋮ Zum \(L(Q)\)-Interpolationsproblem ⋮ Positive results in abstract model theory: a theory of compact logics ⋮ Logical operations and iterated infinitely deep languages ⋮ Interpolation, compactness and JEP in soft model theory