Finite-Variable Logics Do Not Have Weak Beth Definability Property
From MaRDI portal
Publication:5350328
DOI10.1007/978-3-319-15368-1_4zbMath1371.03042arXiv1409.5059OpenAlexW1791238186MaRDI QIDQ5350328
Istvan Németi, Hajnalka Andréka
Publication date: 28 August 2017
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1409.5059
mathematical logicdefinability theoryfinite-variable fragment of first-order logicweak Beth definability property
Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Epimorphisms in cylindric algebras and definability in finite variable logic
- Cylindric algebras. Part II
- The logical study of science
- Modal languages and bounded fragments of predicate logic
- Model theory
- The Beth property in algebraic logic
- On finite rigid structures
- On the Restraining Power of Guards
- Comparing Theories: The Dynamics of Changing Vocabulary