Frederick Rowbottom

{{Short description|British logician and mathematician}}

{{Use dmy dates|date=April 2022}}

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

Rowbottom was educated at Glossop Grammar School (now Glossopdale School) in High Peak, Derbyshire, and King's College, Cambridge, where he graduated with a degree in mathematics in 1960."Tripos Results At Cambridge", The Times, 17 June 1960, p. 25. Upon leaving Cambridge, he 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.{{MathGenealogy |id=8441}}. 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."{{citation|title=In Memoriam: Frederick Rowbottom|department=Notices|url=https://www.math.ucla.edu/~asl/bsl/1602/1602-007.ps|journal=Bulletin of Symbolic Logic|volume=16|issue=2|year=2010|page=299|doi=10.2178/bsl/1286889129|s2cid=231796765}}. The large cardinal notion of Rowbottom cardinals is named after him,{{citation | last = Tryba | first = Jan | issue = 3–4 | journal = Israel Journal of Mathematics | pages = 193–196 | title = A few remarks on Rowbottom cardinals | doi = 10.1007/BF02761361 | doi-access=free | volume = 40

| year = 1981| s2cid = 120998636 }}. as is the notion of a Rowbottom ultrafilter.{{citation | last = Feng | first = Qi | issue = 4

| journal = Journal of Symbolic Logic | pages = 990–993 | title = On the Rowbottom M-ultrafilters | jstor = 2273832 | volume = 52 | year = 1987 | doi = 10.2307/2273832 }}.

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.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}}{{cite journal | last1 = McLarty | first1 = Colin |authorlink = Colin McLarty| year = 1994 | title = Review | url = http://projecteuclid.org/euclid.rml/1204835294 | journal = Modern Logic | volume = 4 | issue = 3| pages = 345–348 }}{{cite journal | last1 = Moerdijk | first1 = Ieke | authorlink = Ieke Moerdijk | year = 1995 | title = Review | url = http://projecteuclid.org/euclid.jsl/1183744769 | journal = Journal of Symbolic Logic | volume = 60 | issue = 2| pages = 694–695 | doi = 10.2307/2275864 | jstor = 2275864 }} Rowbottom retired in 1993 at the age of 55.

Rowbottom died of heart failure in Hadfield, Derbyshire, England, on 12 October 2009, aged 71.

References