1. Nonstandard Analysis

Problem 1.2.
[Ward Henson] Is there a combinatorial result which implies $\Pi^1_1$ comprehension and has a proof in nonstandard analysis? 
Problem 1.3.
[Terence Tao] Give a nonstandard analysis proof of Szemerédi’s Theorem in the spirit of the original proof. 
Problem 1.4.
[Isaac Goldbring] Study boundary amenable groups from the perspective of nonstandard analysis.
1. Give an “internal" algebraic description of boundary amenability.
2. Prove analogs of the results of Di Nasso, Goldbring, Jin, Leth, Lupini, and Mahlburg, such as on high piecewise syndeticity ([MR3580478], [MR3341782]), which has been generalized to the free group. 
Problem 1.5.
[Isaac Goldbring] Give a nonstandard analysis description of Bohr sets in $\Z$.
Cite this as: AimPL: Nonstandard methods in combinatorial number theory, available at http://aimpl.org/nscombinatorial.