Nonstandard methods in combinatorics and theoretical computer science (Q1118589)

This article gives an introduction into non-standard methods and a survey of some applications in combinatorics and theoretical computer science. Some emphasis is put on the use of internal set theory and the particular role which is played by monads. The key point to applications in theoretical computer science is the observation that many important aspects connected with computations are infinite whereas they can be treated as formerly finite objects in the non-standard approach.