Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}