%0 Journal Article %1 freund2018proof %A Freund, Anton %D 2017 %J Oberwolfach Report %K abstract myown %N 4 %P 3129–3130 %R 10.14760/OWR-2017-53 %T Proof Length and the Paris‐Harrington Principle (abstract) %V 14

@article{freund2018proof, added-at = {2023-07-02T20:13:30.000+0200}, author = {Freund, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2028ce52aef829f6c1dece6a77914223e/freund}, doi = {10.14760/OWR-2017-53}, interhash = {bc90b581296ec73162ce07a6f3ec3cda}, intrahash = {028ce52aef829f6c1dece6a77914223e}, journal = {Oberwolfach Report}, keywords = {abstract myown}, number = 4, pages = {3129–3130}, timestamp = {2023-07-02T20:13:30.000+0200}, title = {Proof Length and the {P}aris‐{H}arrington Principle (abstract)}, volume = 14, year = 2017 }