%0 Book Section %1 freund2022uniform %A Freund, Anton %B Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification %C Singapore %D 2022 %E Mainzer, Klaus %E Schuster, Peter %E Schwichtenberg, Helmut %I World Scientific %K arxiv bookchapter myown %P 189-253 %R 10.1142/9789811236488_0005 %T A Uniform Characterization of Sigma_1-Reflection over the Fragments of Peano Arithmetic

@inbook{freund2022uniform, added-at = {2023-07-02T19:55:42.000+0200}, address = {Singapore}, arxiv = {https://arxiv.org/abs/1512.05122}, author = {Freund, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2d4d5164a2f8eafcc160306b8bad2f4b1/freund}, booktitle = {Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification}, doi = {10.1142/9789811236488_0005}, editor = {Mainzer, Klaus and Schuster, Peter and Schwichtenberg, Helmut}, interhash = {f1889db7927debede9ac86b000f0b28f}, intrahash = {d4d5164a2f8eafcc160306b8bad2f4b1}, keywords = {arxiv bookchapter myown}, pages = {189-253}, publisher = {World Scientific}, timestamp = {2023-07-13T22:31:49.000+0200}, title = {A Uniform Characterization of {S}igma_1-Reflection over the Fragments of {P}eano Arithmetic}, year = 2022 }