\(\mathsf{WKL}_0\) and induction principles in model theory (Q2344719): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Periodic points and subsystems of second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Strong constructivizability of homogeneous models
@@ Property / cites work: Strong constructivizability of homogeneous models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249356
@@ Property / cites work: Q4249356 / rank @@
+Normal rank
@@ Property / cites work @@
+Induction, Bounding, Weak Combinatorial                     Principles, and the Homogeneous Model                     Theorem
+Normal rank
@@ Property / cites work @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938557
@@ Property / cites work: Q4938557 / rank @@
+Normal rank
@@ Property / cites work @@
+Indiscernibles and decidable models
@@ Property / cites work: Indiscernibles and decidable models / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Indiscernibles in Decidable Models
@@ Property / cites work: Degrees of Indiscernibles in Decidable 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 @@
+Foundations of recursive model theory
@@ Property / cites work: Foundations of recursive model theory / rank @@
+Normal rank
@@ Property / cites work @@
+A complete, decidable theory with two decidable models
+Normal rank
@@ Property / cites work @@
+Decidable models
@@ Property / cites work: Decidable models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867812
@@ Property / cites work: Q3867812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank