The constructive equality theory (Q1866906)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The constructive equality theory |
scientific article; zbMATH DE number 1900013
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The constructive equality theory |
scientific article; zbMATH DE number 1900013 |
Statements
The constructive equality theory (English)
0 references
23 April 2003
0 references
The author discusses equality from the point of view of the theory of constructive models. It is proved that the constructive theory with solvable equality coincides with the classical theory of equality and, therefore, is complete. Also, the incompleteness of the constructive theories with unsolvable equality is discussed.
0 references
equality theory
0 references
constructive theory
0 references
first-order language
0 references
constructive model
0 references
