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

@@ Property / DOI @@
-.1016/j.apal.2015.04.001
@@ Property / DOI: 10.1016/j.apal.2015.04.001 / rank @@
-Normal rank
@@ Property / author @@
-David R. Belanger
@@ Property / author: David R. Belanger / rank @@
-Normal rank
@@ Property / author @@
+David R. Belanger
@@ Property / author: David R. Belanger / 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.1016/j.apal.2015.04.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2081492908
@@ Property / OpenAlex ID: W2081492908 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.APAL.2015.04.001
@@ Property / DOI: 10.1016/J.APAL.2015.04.001 / rank @@
+Normal rank