%0 Journal Article %1 freund2020short %A Freund, Anton %A Pakhomov, Fedor %D 2020 %I Duke University Press %J Notre Dame Journal of Formal Logic %K arxiv myown paper %N 1 %P 31-49 %R 10.1215/00294527-2019-0031 %T Short Proofs for Slow Consistency %V 61

@article{freund2020short, added-at = {2023-07-01T15:19:48.000+0200}, arxiv = {https://arxiv.org/abs/1712.03251}, author = {Freund, Anton and Pakhomov, Fedor}, biburl = {https://www.bibsonomy.org/bibtex/2434d9f9f35201db29902852c6ef301ad/freund}, doi = {10.1215/00294527-2019-0031}, interhash = {80f9282a65d8df3152543a3e4da5ccd2}, intrahash = {434d9f9f35201db29902852c6ef301ad}, journal = {Notre Dame Journal of Formal Logic}, keywords = {arxiv myown paper}, number = 1, pages = {31-49}, publisher = {Duke University Press}, timestamp = {2023-07-13T22:39:24.000+0200}, title = {Short Proofs for Slow Consistency}, volume = 61, year = 2020 }