Journal of Symbolic Logic 86 (2):785-800 (2021)

Abstract
We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property.
Keywords weak beth definability  abstract model theory  two-variable logic  homogeneous model
Categories (categorize this paper)
DOI 10.1017/jsl.2021.7
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,114
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Distances Between Formal Theories.Michele Friend, Mohamed Khaled, Koen Lefever & Gergely Székely - unknown - Review of Symbolic Logic 13 (3):633-654.
Language in Action.Johan Benthem - 1991 - Journal of Philosophical Logic 20 (3):225 - 263.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.

View all 16 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Definability in Multimodal Logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Proto-Semantics for Positive Free Logic.Antonelli G. Aldo - 2000 - Journal of Philosophical Logic 29 (3):277-294.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
A Note on Definability in Equational Logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.

Analytics

Added to PP index
2021-02-01

Total views
6 ( #1,129,405 of 2,499,056 )

Recent downloads (6 months)
2 ( #278,516 of 2,499,056 )

How can I increase my downloads?

Downloads

My notes