Finite-Variable Logics Do Not Have Weak Beth Definability Property

DOI10.1007/978-3-319-15368-1_4zbMATH Open1371.03042arXiv1409.5059OpenAlexW1791238186MaRDI QIDQ5350328FDOQ5350328

Authors: István Németi, Hajnal Andréka 

Publication date: 28 August 2017

Published in: Studies in Universal Logic (Search for Journal in Brave)

Abstract: We prove that n-variable logics do not have the weak Beth definability property, for all n greater than 2. This was known for n=3 (Ildik'o Sain and Andr'as Simon), and for n greater than 4 (Ian Hodkinson). Neither of the previous proofs works for n=4. In this paper we settle the case of n=4, and we give a uniform, simpler proof for all n greater than 2. The case for n=2 is still open.

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

Recommendations

• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• scientific article; zbMATH DE number 1303438
• scientific article; zbMATH DE number 859792
• Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic
• Non-deterministic logic of informal provability has no finite characterization
• Beth definability in the logic KR
• scientific article; zbMATH DE number 446838
• scientific article; zbMATH DE number 877753
• A non-finitizability result in algebraic logic
• Not every ``tabular predicate logic is finitely axiomatizable

zbMATH Keywords

mathematical logicdefinability theoryfinite-variable fragment of first-order logicweak Beth definability property

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07) Interpolation, preservation, definability (03C40)

Cites Work

• Cylindric algebras. Part II
• Modal languages and bounded fragments of predicate logic
• Model theory
• Title not available (Why is that?)
• The logical study of science
• On the Restraining Power of Guards
• Epimorphisms in cylindric algebras and definability in finite variable logic
• Definability issues in universal logic
• Comparing theories: the dynamics of changing vocabulary
• Title not available (Why is that?)
• Title not available (Why is that?)
• On finite rigid structures
• The Beth property in algebraic logic

Cited In (2)

• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Title not available (Why is that?)

This page was built for publication: Finite-Variable Logics Do Not Have Weak Beth Definability Property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5350328)