Computable models of theories with few models (Q1381432): Difference between revisions

@@ Property / author @@
-André Nies
@@ Property / author: André Nies / rank @@
-Normal rank
@@ Property / author @@
+André Nies
@@ Property / author: André Nies / rank @@
+Normal rank
@@ 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.1305/ndjfl/1039724885
+Normal rank
@@ Property / OpenAlex ID @@
+W2070346525
@@ Property / OpenAlex ID: W2070346525 / rank @@
+Normal rank
@@ Property / cites work @@
+On strongly minimal sets
@@ Property / cites work: On strongly minimal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive models of \(\aleph_1\)-categorical theories
+Normal rank
@@ Property / cites work @@
+Strong constructivizability of homogeneous models
@@ Property / cites work: Strong constructivizability of homogeneous models / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125208
@@ Property / cites work: Q4125208 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable models
@@ Property / cites work: Decidable models / rank @@
+Normal rank
@@ Property / cites work @@
+On complete theories with a finite number of denumerable models
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1381432