The Π21$\Pi ^1_2$ consequences of a theory
DOI10.1112/jlms.12707arXiv2109.11652MaRDI QIDQ6176438
Juan P. Aguilera, Fedor N. Pakhomov
Publication date: 23 August 2023
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2109.11652
Inner models, including constructibility, ordinal definability, and core models (03E45) Recursive functions and relations, subrecursive hierarchies (03D20) General theory of categories and functors (18A99) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Relative consistency and interpretations (03F25) Higher-type and set recursion theory (03D65)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof theory. The first step into impredicativity
- Set recursion and \(\Pi ^ 1_ 2\)-logic
- Countable admissible ordinals and hyperdegrees
- Rapidly growing Ramsey functions
- A strong boundedness theorem for dilators
- Borel determinacy
- A proof-theoretical analysis of ptykes
- Ackermann and Goodstein go functorial
- \(\Pi_1^1\)-comprehension as a well-ordering principle
- Consistency proofs of subsystems of classical analysis
- The Veblen functions for computability theorists
- The limits of determinacy in second-order arithmetic
- Recursive well-orderings
- Π12-logic, Part 1: Dilators
- Accessible Independence Results for Peano Arithmetic
- Set Theory
- Higher set theory and mathematical practice
- The fine structure of the constructible hierarchy
- Proof theory
- Corrigendum to Reducing ω-model reflection to iterated syntactic reflection
- The Π21$\Pi ^1_2$ consequences of a theory
This page was built for publication: The Π21$\Pi ^1_2$ consequences of a theory
