Two-variable logic has weak, but not strong, Beth definability
Autor: | Hajnal Andréka, István Németi |
---|---|
Rok vydání: | 2020 |
Předmět: |
03C40 (Primary) 03B20
03Cxx 03C95 (Secondary) Pure mathematics Property (philosophy) Logic Natural logic Mathematics - Logic Philosophy Nonlinear Sciences::Exactly Solvable and Integrable Systems Fragment (logic) FOS: Mathematics Condensed Matter::Strongly Correlated Electrons Logic (math.LO) Beth definability Mathematics Abstract model theory Variable (mathematics) |
DOI: | 10.48550/arxiv.2010.00901 |
Popis: | 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. |
Databáze: | OpenAIRE |
Externí odkaz: |