%0 Journal Article %1 Freund_2017 %A Freund, Anton %D 2017 %I Elsevier BV %J Annals of Pure and Applied Logic %K arxiv myown paper %N 7 %P 1361-1382 %R 10.1016/j.apal.2017.01.004 %T Proof lengths for instances of the Paris-Harrington principle %V 168

@article{Freund_2017, added-at = {2023-07-01T15:06:30.000+0200}, arxiv = {https://arxiv.org/abs/1601.08185}, author = {Freund, Anton}, biburl = {https://www.bibsonomy.org/bibtex/286c265d41c9014b43ed47e064d020dcf/freund}, doi = {10.1016/j.apal.2017.01.004}, interhash = {78a7afcea0375752d6d323b1faa8943c}, intrahash = {86c265d41c9014b43ed47e064d020dcf}, journal = {Annals of Pure and Applied Logic}, keywords = {arxiv myown paper}, number = 7, pages = {1361-1382}, publisher = {Elsevier {BV}}, timestamp = {2023-07-13T22:32:29.000+0200}, title = {Proof lengths for instances of the Paris-Harrington principle}, volume = 168, year = 2017 }