TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499)
From MaRDI portal
scientific article; zbMATH DE number 7415225
Language | Label | Description | Also known as |
---|---|---|---|
English | TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY |
scientific article; zbMATH DE number 7415225 |
Statements
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (English)
0 references
27 October 2021
0 references
weak Beth definability
0 references
abstract model theory
0 references
two-variable logic
0 references
homogeneous model
0 references