|
|
|
|
3 | (8) |
|
1.1 Basics on Ultrafilters |
|
|
3 | (2) |
|
1.2 The Space of Ultrafilters βS |
|
|
5 | (2) |
|
1.3 The Case of a Semigroup |
|
|
7 | (1) |
|
1.4 The Existence of Idempotents in Semitopological Semigroups |
|
|
8 | (1) |
|
|
8 | (1) |
|
|
9 | (2) |
|
|
11 | (34) |
|
|
11 | (3) |
|
2.2 The Star Map and the Transfer Principle |
|
|
14 | (6) |
|
2.2.1 Additional Assumptions |
|
|
18 | (2) |
|
2.3 The Transfer Principle, in Practice |
|
|
20 | (2) |
|
|
22 | (7) |
|
2.4.1 The Ultrapower Construction |
|
|
23 | (1) |
|
2.4.2 Hyper-Extensions in the Ultrapower Model |
|
|
24 | (3) |
|
2.4.3 The Properness Condition in the Ultrapower Model |
|
|
27 | (1) |
|
2.4.4 An Algebraic Presentation |
|
|
28 | (1) |
|
2.5 Internal and External Objects |
|
|
29 | (4) |
|
2.5.1 Internal Objects in the Ultrapower Model |
|
|
32 | (1) |
|
|
33 | (4) |
|
|
36 | (1) |
|
2.7 Overflow and Underflow Principles |
|
|
37 | (2) |
|
2.7.1 An Application to Graph Theory |
|
|
37 | (2) |
|
2.8 The Saturation Principle |
|
|
39 | (2) |
|
2.8.1 Saturation in the Ultrapower Model |
|
|
40 | (1) |
|
2.9 Hyperfinite Approximation |
|
|
41 | (1) |
|
|
42 | (3) |
|
3 Hyperfinite Generators of Ultrafilters |
|
|
45 | (4) |
|
3.1 Hyperfinite Generators |
|
|
45 | (2) |
|
3.2 The Case of a Semigroup Again |
|
|
47 | (1) |
|
|
48 | (1) |
|
4 Many Stars: Iterated Nonstandard Extensions |
|
|
49 | (6) |
|
4.1 The Foundational Perspective |
|
|
49 | (2) |
|
4.2 Revisiting Hyperfinite Generators |
|
|
51 | (1) |
|
4.3 The Iterated Ultrapower Perspective |
|
|
52 | (1) |
|
4.4 Revisiting Idempotents |
|
|
53 | (1) |
|
|
54 | (1) |
|
|
55 | (18) |
|
5.1 Premcasures and Measures |
|
|
55 | (2) |
|
5.2 The Definition of Loeb Measure |
|
|
57 | (2) |
|
5.3 Lebesgue Measure via Loeb Measure |
|
|
59 | (1) |
|
|
60 | (5) |
|
|
65 | (1) |
|
5.6 Ergodic Theory of Hypercycle Systems |
|
|
66 | (4) |
|
|
70 | (3) |
|
|
|
|
73 | (8) |
|
6.1 Infinite Ramsey's Theorem |
|
|
73 | (2) |
|
6.2 Finite Ramsey Theorem |
|
|
75 | (1) |
|
6.3 Rado's Path Decomposition Theorem |
|
|
75 | (1) |
|
|
76 | (3) |
|
|
79 | (2) |
|
7 The Theorems of van der Waerden and Hales-Jewett |
|
|
81 | (8) |
|
7.1 The Theorem of van der Waerden |
|
|
81 | (3) |
|
7.2 The Hales-Jewett Theorem |
|
|
84 | (4) |
|
|
88 | (1) |
|
|
89 | (10) |
|
|
90 | (2) |
|
8.2 The Milliken-Taylor Theorem |
|
|
92 | (1) |
|
|
93 | (5) |
|
|
98 | (1) |
|
9 Partition Regularity of Equations |
|
|
99 | (12) |
|
9.1 Characterizations of Partition Regularity |
|
|
100 | (1) |
|
|
101 | (3) |
|
9.3 Nonlinear Diophantine Equations: Some Examples |
|
|
104 | (2) |
|
|
106 | (5) |
|
Part III Combinatorial Number Theory |
|
|
|
10 Densities and Structural Properties |
|
|
111 | (12) |
|
|
111 | (3) |
|
10.2 Structural Properties |
|
|
114 | (3) |
|
|
117 | (3) |
|
10.4 Furstenberg's Correspondence Principle |
|
|
120 | (2) |
|
|
122 | (1) |
|
11 Working in the Remote Realm |
|
|
123 | (10) |
|
11.1 Finite Embeddability Between Sets of Natural Numbers |
|
|
123 | (3) |
|
11.2 Banach Density as Shnirelmann Density in the Remote Realm |
|
|
126 | (2) |
|
|
128 | (3) |
|
|
131 | (2) |
|
|
133 | (12) |
|
12.1 The Statement of Jin's Sumset Theorem and Some Standard Consequences |
|
|
133 | (2) |
|
12.2 Jin's Proof of the Sumset Theorem |
|
|
135 | (2) |
|
|
137 | (2) |
|
12.4 A Proof with an Explicit Bound |
|
|
139 | (1) |
|
12.5 Quantitative Strengthenings |
|
|
140 | (3) |
|
|
143 | (2) |
|
13 Sumset Configurations in Sets of Positive Density |
|
|
145 | (8) |
|
|
145 | (3) |
|
13.2 A 1-Shift Version of Erdos' Conjecture |
|
|
148 | (3) |
|
13.3 A Weak Density Version of Folkman's Theorem |
|
|
151 | (1) |
|
|
152 | (1) |
|
14 Near Arithmetic Progressions in Sparse Sets |
|
|
153 | (8) |
|
|
153 | (4) |
|
14.2 Connection to the Erdos-Turan Conjecture |
|
|
157 | (3) |
|
|
160 | (1) |
|
15 The Interval Measure Property |
|
|
161 | (12) |
|
|
161 | (4) |
|
|
165 | (4) |
|
|
169 | (4) |
|
|
|
16 Triangle Removal and Szemeredi Regularity |
|
|
173 | (8) |
|
16.1 Triangle Removal Lemma |
|
|
173 | (4) |
|
16.2 Szemeredi Regularity Lemma |
|
|
177 | (3) |
|
|
180 | (1) |
|
|
181 | (6) |
|
17.1 Statement of Definitions and the Main Theorem |
|
|
181 | (2) |
|
17.2 A Special Case: Approximate Groups of Finite Exponent |
|
|
183 | (3) |
|
|
186 | (1) |
A Foundations of Nonstandard Analysis |
|
187 | (10) |
|
|
187 | (10) |
|
A.1.1 Mathematical Universes and Superstructures |
|
|
187 | (2) |
|
A.1.2 Bounded Quantifier Formulas |
|
|
189 | (3) |
|
|
192 | (2) |
|
A.1.4 Models That Allow Iterated Hyper-Extensions |
|
|
194 | (3) |
References |
|
197 | (6) |
Index |
|
203 | |