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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Amalgamation and Interpolation in Normal Modal Logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Distances Between Formal Theories.Michele Friend, Mohamed Khaled, Koen Lefever & Gergely Székely - unknown - Review of Symbolic Logic 13 (3):633-654.
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.
Similar books and articles
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373-409.
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Algebraic Characterizations of Various Beth Definability Properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
On Definability in Multimodal Logic: On Definability in Multimodal Logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
On Definability in Multimodal Logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Interpolation and Definability in Abstract Logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
Interpolation and Definability Over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
An Institution-Independent Proof of the Beth Definability Theorem.M. Aiguier & F. Barbier - 2007 - Studia Logica 85 (3):333-359.
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.
An Isomorphism Between Monoids of External Embeddings About Definability in Arithmetic.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (2):598-620.
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.
A Relative Interpolation Theorem for Infinitary Universal Horn Logic and its Applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
Beth Definability, Interpolation and Language Splitting.Rohit Parikh - 2011 - Synthese 179 (2):211 - 221.
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 )
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
