Finite-Variable Logics Do Not Have Weak Beth Definability Property (Q5350328)
From MaRDI portal
scientific article; zbMATH DE number 6766458
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite-Variable Logics Do Not Have Weak Beth Definability Property |
scientific article; zbMATH DE number 6766458 |
Statements
Finite-Variable Logics Do Not Have Weak Beth Definability Property (English)
0 references
28 August 2017
0 references
definability theory
0 references
weak Beth definability property
0 references
finite-variable fragment of first-order logic
0 references
mathematical logic
0 references