Categoricity and generalized model completeness (Q1098836): Difference between revisions

The author proves that if T is \(\aleph_ 0\)-categorical and almost strongly minimal then T has a finite definitional extension which is model complete (T is said to be almost model complete). In addition such a T is axiomatizable by sentences of bounded quantifier complexity.

0 references

zbMATH Keywords

axiomatizability

0 references

sentences of bounded quantifier complexity

0 references

reviewed by

J. M. Plotkin

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q3797167

0 references

Quasi finitely axiomatizable totally categorical theories

0 references

Almost strongly minimal theories. I

0 references

First-order theories of abstract dependence relations

0 references

Omitting types of prenex formulas

0 references

\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures

0 references

Categoricity in Power

0 references

Classification theory and the number of non-isomorphic models

0 references

full work available at URL

https://doi.org/10.1007/bf01625828

0 references

Identifiers

zbMATH Open document ID

0637.03022

0 references

DOI

10.1007/BF01625828

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1098836

@@ Property / reviewed by @@
-J. M. Plotkin
@@ Property / reviewed by: J. M. Plotkin / rank @@
-Normal rank
@@ Property / reviewed by @@
+J. M. Plotkin
@@ Property / reviewed by: J. M. Plotkin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3797167
@@ Property / cites work: Q3797167 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi finitely axiomatizable totally categorical theories
+Normal rank
@@ Property / cites work @@
+Almost strongly minimal theories. I
@@ Property / cites work: Almost strongly minimal theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+First-order theories of abstract dependence relations
+Normal rank
@@ Property / cites work @@
+Omitting types of prenex formulas
@@ Property / cites work: Omitting types of prenex formulas / rank @@
+Normal rank
@@ Property / cites work @@
+\(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
+Normal rank
@@ Property / cites work @@
+Categoricity in Power
@@ Property / cites work: Categoricity in Power / rank @@
+Normal rank
@@ Property / cites work @@
+Classification theory and the number of non-isomorphic models
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01625828
+Normal rank
@@ Property / OpenAlex ID @@
+W2046909290
@@ Property / OpenAlex ID: W2046909290 / rank @@
+Normal rank