Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2534696914
@@ Property / OpenAlex ID: W2534696914 / 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 @@
+\(\mathsf{WKL}_0\) and induction principles in model theory
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem for pairs
@@ Property / cites work: On the strength of Ramsey's theorem for pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying model-theoretic properties
@@ Property / cites work: Classifying model-theoretic properties / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra of prime models
@@ Property / cites work: Degree spectra of prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding homogenous models
@@ Property / cites work: Bounding homogenous models / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding prime models
@@ Property / cites work: Bounding prime models / rank @@
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+Higher set theory and mathematical practice
@@ Property / cites work: Higher set theory and mathematical practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / 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 @@
+Q4405151
@@ Property / cites work: Q4405151 / 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 @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of computability-theoretic reduction between Π21 principles
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+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 @@
+Q5711891
@@ Property / cites work: Q5711891 / 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 @@
+A characterization of the <i>0</i>-basis homogeneous bounding degrees
+Normal rank
@@ Property / cites work @@
+Computability of homogeneous models
@@ Property / cites work: Computability of homogeneous models / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Homogeneous models and decidability
@@ Property / cites work: Homogeneous models and decidability / rank @@
+Normal rank
@@ Property / cites work @@
+INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
+Normal rank
@@ Property / cites work @@
+On the Equimorphism Types of Linear Orderings
@@ Property / cites work: On the Equimorphism Types of Linear Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Turing determinacy within second order arithmetic
+Normal rank
@@ Property / cites work @@
+Decidable models
@@ Property / cites work: Decidable models / rank @@
+Normal rank
@@ Property / cites work @@
+Finite injury and <i>Σ</i><sub>1</sub>-induction
@@ Property / cites work: Finite injury and <i>Σ</i><sub>1</sub>-induction / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM
+Normal rank
@@ Property / cites work @@
+Necessary use of  induction in a reversal
@@ Property / cites work: Necessary use of induction in a reversal / rank @@
+Normal rank
@@ Property / cites work @@
+Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977
+Normal rank
@@ Property / cites work @@
+Q3867812
@@ Property / cites work: Q3867812 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem
@@ Property / cites work: On the strength of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting an α-Recursively Enumerable Set
@@ Property / cites work: Splitting an α-Recursively Enumerable Set / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse Mathematics: The Playground of Logic
@@ Property / cites work: Reverse Mathematics: The Playground of Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464661
@@ Property / cites work: Q3464661 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Σ_{𝑛}-bounding and Δ_{𝑛}-induction
@@ Property / cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction / rank @@
+Normal rank