Kreisel’s effectiveness. (English) Zbl 0894.01011

Crossley, John N.

Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 33-41 (1996).

The author reports on how he arrived at his theories of Constructive Order Types and Natural Well-Ordering, especially during his formative years at the University of Oxford, stressing his relations to Georg Kreisel.
For the entire collection see [Zbl 0894.03002].

Reviewer: V.Peckhaus (Erlangen)

MSC:

01A70	Biographies, obituaries, personalia, bibliographies
03D50	Recursive equivalence types of sets and structures, isols
03-03	History of mathematical logic and foundations

Keywords:

reminiscences