On Decidable and Computable Models of Theories (Q5326370): Difference between revisions

@@ Property / cites work @@
+Q3777999
@@ Property / cites work: Q3777999 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and immunity properties
@@ Property / cites work: Degree spectra and immunity properties / rank @@
+Normal rank
@@ Property / cites work @@
+Strong constructivizability of homogeneous models
@@ Property / cites work: Strong constructivizability of homogeneous models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive models of complete solvable theories
@@ Property / cites work: Constructive models of complete solvable theories / rank @@
+Normal rank
@@ Property / cites work @@
+RELATIVE TO ANY NON-HYPERARITHMETIC SET
@@ Property / cites work: RELATIVE TO ANY NON-HYPERARITHMETIC SET / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Computable trees, prime models, and relative decidability
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Kolmogorov complexity to computable model theory
+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 @@
+The degree spectra of homogeneous models
@@ Property / cites work: The degree spectra of homogeneous models / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to forking
@@ Property / cites work: An introduction to forking / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of recursive model theory
@@ Property / cites work: Foundations of recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Omitting types, type spectrums, and decidability
@@ Property / cites work: Omitting types, type spectrums, and decidability / 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 @@
+Criterion for strong constructivizability of a homogeneous model
+Normal rank
@@ Property / cites work @@
+Attention à la marche!
@@ Property / cites work: Attention à la marche! / rank @@
+Normal rank
@@ Property / cites work @@
+Q3539556
@@ Property / cites work: Q3539556 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Theories with Finitely Many Countable Models. I
+Normal rank