Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
DOI10.1090/memo/1187zbMath1406.03039OpenAlexW2534696914MaRDI QIDQ5366979
Richard A. Shore, Karen Lange, Denis R. Hirschfeldt
Publication date: 10 October 2017
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://repository.wellesley.edu/scholarship/128
genericsinductionreverse mathematicscomputable model theoryhomogeneous modelsatomic modelsboundinguniform reductionAMTWeihrauchATTFATTHMT
First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computability of homogeneous models
- Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977
- Strong constructivizability of homogeneous models
- Homogeneous models and decidability
- Model theory.
- Decidable models
- Computable structures and the hyperarithmetical hierarchy
- On the strength of Ramsey's theorem
- \(\mathsf{WKL}_0\) and induction principles in model theory
- Periodic points and subsystems of second-order arithmetic
- On the strength of Ramsey's theorem for pairs
- The strength of Turing determinacy within second order arithmetic
- On uniform relationships between combinatorial problems
- REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS
- Necessary use of induction in a reversal
- Reverse Mathematics: The Playground of Logic
- Open Questions in Reverse Mathematics
- On notions of computability-theoretic reduction between Π21 principles
- Slicing the Truth
- THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- Bounding homogenous models
- On the Equimorphism Types of Linear Orderings
- Classifying model-theoretic properties
- The degree spectra of homogeneous models
- The atomic model theorem and type omitting
- Finite injury and Σ1-induction
- Splitting an α-Recursively Enumerable Set
- Recursively presentable prime models
- Model Theory
- Σ_{𝑛}-bounding and Δ_{𝑛}-induction
- A characterization of the 0-basis homogeneous bounding degrees
- Degree spectra of prime models
- Bounding prime models
- INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
- Higher set theory and mathematical practice