Model completeness and relative decidability (Q2042736): Difference between revisions

@@ Property / author @@
-Russell G. Miller
@@ Property / author: Russell G. Miller / rank @@
-Normal rank
@@ Property / author @@
-D. Reed Solomon
@@ Property / author: D. Reed Solomon / rank @@
-Normal rank
@@ Property / author @@
+Russell G. Miller
@@ Property / author: Russell G. Miller / rank @@
+Normal rank
@@ Property / author @@
+D. Reed Solomon
@@ Property / author: D. Reed Solomon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3119991094
@@ Property / OpenAlex ID: W3119991094 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q105642085
@@ Property / Wikidata QID: Q105642085 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Trivial, strongly minimal theories are model complete after naming constants
+Normal rank
@@ Property / cites work @@
+Q4249356
@@ Property / cites work: Q4249356 / rank @@
+Normal rank
@@ Property / cites work @@
+There is no classification of the decidably presentable structures
+Normal rank
@@ Property / cites work @@
+COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
@@ Property / cites work: A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5371227
@@ Property / cites work: Q5371227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2042736