Weakly Represented Families in Reverse Mathematics
From MaRDI portal
Publication:2970957
DOI10.1007/978-3-319-50062-1_13zbMath1477.03030OpenAlexW2558979612MaRDI QIDQ2970957
Jing Zhang, Dilip Raghavan, Rupert Hölzl, Frank Stephan
Publication date: 4 April 2017
Published in: Computability and Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-50062-1_13
Foundations of classical theories (including reverse mathematics) (03B30) Cardinal characteristics of the continuum (03E17) Second- and higher-order arithmetic and fragments (03F35)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inductive inference and reverse mathematics
- \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
- On degrees of recursive unsolvability
- Lowness for genericity
- Relativized Schnorr tests with universal behavior
- Classical recursion theory. The theory of functions and sets of natural numbers
- Classical recursion theory. Vol. II
- Upward closure and cohesive degrees
- The upper semi-lattice of degrees of recursive unsolvability
- On the strength of Ramsey's theorem for pairs
- An Analogy between Cardinal Characteristics and Highness Properties of Oracles
- Combinatorial Cardinal Characteristics of the Continuum
- Kolmogorov complexity and the Recursion Theorem
- Algorithmic Randomness and Complexity
- A criterion for completeness of degrees of unsolvability
- Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
- Partition Theorems and Computability Theory
- On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
- The atomic model theorem and type omitting
- Some Properties of Measure and Category
- A cohesive set which is not high
- The axiomatization of randomness
- Computability and Randomness
- Classes of Recursively Enumerable Sets and Degrees of Unsolvability
- ∏ 0 1 Classes and Degrees of Theories
This page was built for publication: Weakly Represented Families in Reverse Mathematics
