A new spectrum of recursive models using an amalgamation construction (Q3173531): Difference between revisions

@@ Property / cites work @@
+New spectra of strongly minimal theories in finite languages
+Normal rank
@@ Property / cites work @@
+A new spectrum of recursive models
@@ Property / cites work: A new spectrum of recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive models of uncountably categorical theories
+Normal rank
@@ Property / cites work @@
+Computable models of theories with few models
@@ Property / cites work: Computable models of theories with few models / 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 @@
+An uncountably categorical theory whose only computably presentable model is saturated
+Normal rank