Showing math.NTShow all
2 papers · 1 filter
math.NT2026
Resolution of ErdÅs Problem #728: a writeup of Aristotle's Lean proof
Nat Sothanaphan
We provide a writeup of a resolution of ErdÅs Problem #728; this is the first ErdÅs problem (a problem proposed by Paul ErdÅs which has been collected in the ErdÅs Problems web…
math.NT2025
Irregular Stanley sequences plausibly do not have growth
Nat Sothanaphan
Stanley sequences starting from the set where is a positive integer have long been conjectured to be divided into two types: the "regular" type where the growth rate…