875: Structural Proof Theory/7

Timothy Y. Chow tchow at math.princeton.edu
Mon Mar 22 20:27:03 EDT 2021

Kevin Buzzard wrote:
> For me, Harvey's unspecified model of what it means for a Diophantine 
> equation to be TINY has too few details of what TINY actually means to 
> be able to make a sensible response. For example can we talk about 
> degree 3 equations in two variables?

I don't think so.  Harvey linked to an older post of his; you may not have 
clicked through:


If I'm parsing the definitions correctly, the "term complexity" of a 
degree 3 equation would (naively at least) seem to be at least 3, and 
Harvey is focusing on term complexity at most 2.

By the way, if you missed it, you might want to look at Harvey's 
"Structural Mapping Theory/1" and my response to it:



More information about the FOM mailing list