The following pages link to George Mills (Q801936):
Displayed 8 items.
- Ramsey-Paris-Harrington numbers for graphs (Q801937) (← links)
- A quintessential proof of van der Waerden's theorem on arithmetic progressions (Q1055773) (← links)
- Some bounds for the Ramsey-Paris-Harrington numbers (Q1157345) (← links)
- Regularity in models of arithmetic (Q3708802) (← links)
- Closure properties of countable non-standard integers (Q3853628) (← links)
- Substructure lattices of models of arithmetic (Q3863890) (← links)
- (Q3926596) (← links)
- A model of peano arithmetic with no elementary end extension (Q4168613) (← links)