A Uniform Characterization of Σ1-Reflection Over the Fragments of Peano Arithmetic

DOI10.1142/9789811236488_0005zbMath1501.03004arXiv1512.05122OpenAlexW4210545053MaRDI QIDQ5081870

Anton Freund

Publication date: 17 June 2022

Published in: Proof and Computation II (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1512.05122

zbMATH Keywords

reflection principlefragments of Peano arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (1)

Short proofs for slow consistency

This page was built for publication: A Uniform Characterization of Σ₁-Reflection Over the Fragments of Peano Arithmetic