Some elementary results in intuitionistic model theory (Q5687313)
From MaRDI portal
scientific article; zbMATH DE number 957316
Language | Label | Description | Also known as |
---|---|---|---|
English | Some elementary results in intuitionistic model theory |
scientific article; zbMATH DE number 957316 |
Statements
Some elementary results in intuitionistic model theory (English)
0 references
21 April 1997
0 references
elementary equivalence
0 references
model theory as part of intuitionistic mathematics
0 references
intuitionistic structure
0 references
strongly homogeneous
0 references
back-and-forth-homogeneous
0 references
elementary substructure
0 references