Beth's theorem in cardinality logics

DOI10.1007/BF02762675zbMath0263.02010OpenAlexW2044340169MaRDI QIDQ2561208

Harvey M. Friedman

Publication date: 1973

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02762675

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items

Remarks in abstract model theory, The Härtig quantifier: a survey, The Beth-closure of ℒ(Q_α) is not finitely generated, One hundred and two problems in mathematical logic, TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY, Ideal models and some not so ideal problems in the model theory of L(Q), Beth's property fails in L^<ω, Harmonious logic: Craig's interpolation theorem and its descendants, The Craig interpolation theorem in abstract model theory, Generalized Quantifiers and Compact Logic, The theorems of beth and Craig in abstract model theory II. Compact logics, Zum \(L(Q)\)-Interpolationsproblem, On the Failure of the Weak Beth Property, Definability properties and the congruence closure

Cites Work

• Beth definability in infinitary languages
• An axiomatic system for the first order language with an equi-cardinality quantifier
• Logic with the quantifier “there exist uncountably many”
• Infinitary logic and admissible sets
• Infinitary analogs of theorems from first order model theory