Publication:6137350
From MaRDI portal
Publication:6137350
{{DISPLAYTITLE:Semi-honest subrecursive degrees and the collection rule in arithmetic
DOI10.1007/s00153-023-00889-zMaRDI QIDQ6137350
F. F. Lara-Martín, Andrés Cordón-Franco
Publication date: 18 January 2024
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)
Cites Work
- Unnamed Item
- Unnamed Item
- Streamlined subrecursive degree theory
- Degrees of relative provability
- A jump operator on honest subrecursive degrees
- Classical recursion theory. The theory of functions and sets of natural numbers
- Augmented loop languages and classes of computable functions
- On the density of honest subrecursive classes
- A proof-theoretic analysis of collection
- Induction rules, reflection principles, and provably recursive functions
- Saturated models of universal theories
- Provability algebras and proof-theoretic ordinals. I
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
- On the structure of subrecursive degrees
- Existentially closed structures and Gödel's second incompleteness theorem
- Degrees of Total Algorithms versus Degrees of Honest Functions
- Reflection principles and provability algebras in formal arithmetic
- Envelopes, indicators and conservativeness
- The honest subrecursive classes are a lattice
- On the induction schema for decidable predicates
- Fragments of Arithmetic and true sentences
- Computer Science Logic
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
- A Classification of the Recursive Functions
- Subrecursive degrees and fragments of Peano arithmetic