TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY

DOI10.1017/jsl.2021.7OpenAlexW3128101734MaRDI QIDQ5159499

Istvan Németi, Hajnalka Andréka

Publication date: 27 October 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2010.00901

zbMATH Keywords

homogeneous modeltwo-variable logicabstract model theoryweak Beth definability

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract model theory (03C95)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilities defined on standard and non-standard cylindric set algebras
• Relation algebras by games
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Cylindric algebras. Part II
• Language in action. Categories, lambdas and dynamic logic
• Amalgamation and interpolation in normal modal logics
• Interpolation and amalgamation; pushing the limits. II
• Model theory
• Algebraic characterizations of various Beth definability properties
• A nonpermutational integral relation algebra
• Stationary logic and its friends. I
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Beth's theorem in cardinality logics
• On atomicity of free algebras in certain cylindric-like varieties
• Galois Theory for Cylindric Algebras and its Applications
• Algebraizable logics
• δ-Logics and generalized quantifiers
• Varying interpolation and amalgamation in polyadic MV-algebras
• SOME MODEL THEORY OF GUARDED NEGATION
• DISTANCES BETWEEN FORMAL THEORIES
• Finite-Variable Logics Do Not Have Weak Beth Definability Property
• On weak and strong interpolation in algebraic logics