@freund

Proof lengths for instances of the Paris-Harrington principle

. Annals of Pure and Applied Logic, 168 (7): 1361-1382 (2017)
DOI: 10.1016/j.apal.2017.01.004

Links and resources

Tags

community

  • @freund
  • @dblp
@freund's tags highlighted