%0 Journal Article %1 freund2018iterated %A Freund, Anton %D 2018 %I Springer Science and Business Media LLC %J Archive for Mathematical Logic %K arxiv myown paper %N 3-4 %P 339-346 %R 10.1007/s00153-018-0639-y %T A note on iterated consistency and infinite proofs %V 58

@article{freund2018iterated, added-at = {2023-07-01T15:09:26.000+0200}, arxiv = {https://arxiv.org/abs/1709.01540}, author = {Freund, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2b8241712b7856bc2eb5f63027589ad4f/freund}, doi = {10.1007/s00153-018-0639-y}, interhash = {9da7427eb15539ce780df12de4d45b78}, intrahash = {b8241712b7856bc2eb5f63027589ad4f}, journal = {Archive for Mathematical Logic}, keywords = {arxiv myown paper}, number = {3-4}, pages = {339-346}, publisher = {Springer Science and Business Media {LLC}}, timestamp = {2023-07-13T22:33:38.000+0200}, title = {A note on iterated consistency and infinite proofs}, volume = 58, year = 2018 }