1 Introduction

2 Basic definitions and notation

3 The nonstandard method

4 The lower part

5 Levels, patterns and ~-classes in L

6 Generalized patterns

7 Congruence modulo an ultrafilter

8 Other divisibility-like relations

9 Remarks and open problems