No CrossRef data available.
Article contents
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
Published online by Cambridge University Press: 01 February 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.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Association for Symbolic Logic 2021