choice classes
From MaRDI portal
Publication:2958216
DOI10.1002/malq.201500055zbMath1371.03050OpenAlexW2561360174MaRDI QIDQ2958216
Publication date: 1 February 2017
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201500055
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
- \(\Pi_1^0\) classes, Peano arithmetic, randomness, and computable domination
- Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy
- Almost complemented \(\Pi^{0}_{1}\) classes
- Degrees of members of \(\Pi_ 1^ 0\) classes
- On the degree spectrum of a $\Pi ^0_1$ class
- Algorithmic Randomness and Complexity
- Degrees of models
- Mass Problems and Randomness
- MASS PROBLEMS AND HYPERARITHMETICITY
- Low upper bounds of ideals
- On the ranked points of a Π10 set
- Minimal extensions of ?01 classes