Frederick Rowbottom
Frederick Rowbottom (16 January 1938 – 12 October 2009) was a British logician and mathematician. The large cardinal notion of Rowbottom cardinals is named after him.
Biography
After graduating from Cambridge University, Rowbottom studied under Howard Jerome Keisler at the University of Wisconsin–Madison, earning his Ph.D. degree in 1964, with a thesis entitled Large Cardinals and Small Constructible Sets, under the supervision of Jerome Keisler.[1] With a recommendation from Georg Kreisel, he took a position at the University of Bristol in 1965, where he spent the rest of his professional career.
He published a paper called "Some strong axioms of infinity incompatible with the axiom of constructibility" in the Annals of Mathematical Logic, 3 1971. This paper, together with his thesis, "showed that Ramsey cardinals were weaker than measurable cardinals, and that their existence implied the constructible real continuum was countable; he further proved that this followed also from weaker partition and two cardinal properties."[2] The large cardinal notion of Rowbottom cardinals is named after him,[3] as is the notion of a Rowbottom ultrafilter.[4]
Keith Devlin studied set theory under Rowbottom. In 1992 he and a student, Jonathan Chapman, wrote a textbook on topos theory, Relative Category Theory and Geometric Morphisms: A Logical Approach, published in Oxford Logic Guides, No. 16.[5][6][7] Rowbottom retired in 1993 at the age of 55.
Rowbottom died of heart failure in Hadfield, England, on 12 October 2009, aged 71.[2]
References
- ↑ Frederick Rowbottom at the Mathematics Genealogy Project.
- ↑ 2.0 2.1 Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Rowbottom, Frederick and Jonathan Chapman. Relative Category Theory and Geometric Morphisms: A Logical Approach, published in Oxford Logic Guides, Oxford University Press, 1992, ISBN 978-0-19-853434-1
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
Lua error in package.lua at line 80: module 'strict' not found.
