The degrees of categorical theories with recursive models (Q2839320): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A new spectrum of recursive models using an amalgamation construction
+Normal rank
@@ Property / cites work @@
+Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Q3434485
@@ Property / cites work: Q3434485 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Categorical Theories with Computable Models
+Normal rank
@@ Property / cites work @@
+Trivial, strongly minimal theories are model complete after naming constants
+Normal rank
@@ Property / cites work @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+A new strongly minimal set
@@ Property / cites work: A new strongly minimal set / rank @@
+Normal rank
@@ Property / cites work @@
+A computable ℵ<sub>0</sub>-categorical structure whose theory computes true arithmetic
+Normal rank
@@ Property / cites work @@
+Nonarithmetical ℵ<sub>0</sub>-categorical theories with recursive models
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+MM. Borel, Tits, Zil′ber et le Général Nonsense
+Normal rank