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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1309952525
+Normal rank
@@ Property / OpenAlex ID @@
+W2130392294
@@ Property / OpenAlex ID: W2130392294 / rank @@
+Normal rank
@@ 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