Trivial, strongly minimal theories are model complete after naming constants (Q4425430): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 16:48, 5 March 2024
scientific article; zbMATH DE number 1978993
Language | Label | Description | Also known as |
---|---|---|---|
English | Trivial, strongly minimal theories are model complete after naming constants |
scientific article; zbMATH DE number 1978993 |
Statements
Trivial, strongly minimal theories are model complete after naming constants (English)
0 references
10 September 2003
0 references
strongly minimal
0 references
trivial geometry
0 references
uncountably categorical
0 references
model complete
0 references
computable model
0 references
spectrum of computable models
0 references