Adrian Richard David Mathias

B.A. 1965, M.A. 1969, Ph.D. 1970
all from the University of Cambridge

Visiting Lecturer, Madison 1968/69, Fellow of Peterhouse, Cambridge (untenured) 1969-1990; then a decade as an itinerant scholar: MSRI 1989/90; Visiting Professor, Berkeley, spring semester of 1991; Extraordinary Professor, Warsaw 1991/92; six months at Oberwolfach as Dauergast, 1992/93; CRM, Barcelona 1993-6, with interlude (Hilary Term, 1995) at Oxford; in Wales 1996-7; Sanford Distinguished Visiting Professor, Universidad de los Andes, Bogota 1997/8; Ile de la Reunion from February 1999; tenured (at last !) in 2000; forcibly retired, 2012.

Personal website

Publications since 2000:
– five papers on weak subsystems of ZFC: “The strength of Mac Lane set theory”, “Slim models of Zermelo set theory”, “Weak systems of Gandy, Jensen and Devlin”, “A note on the schemes of replacement and collection”, “Set forcing over models of Zermelo or Mac Lane”;
– five papers on the relation of attack in symbolic dynamics: “Delays, recurrence and ordinals”, “Recurrent points and hyperarithmetic sets”, “Analytic sets under attack”, “Choosing an attacker by a local derivation”, “A scenario for transferring high scores”;
– two papers on Bourbaki’s axiomatic systems: “A term of length 4,523,659,424,929”, “Unordered pairs in the set theory of Bourbaki 1949”;
– an expository paper, “Strong statements of analysis”.
– two papers on the relation of large cardinals to localisation of functors (with Joan Bagaria, Carles Casacuberta and Jiri Rosicky)

Current work:
– rudimentary recursion, provident sets and forcing (with Nathan Bowler);
– chameleons (with Carlos di Prisco, Marianne Morillon and Christian Delhomme);
– a book on AD (with Kai Hauser and Hugh Woodin);
– a book on provident set theory;

and on the polemical front:
– “Hilbert, Bourbaki and the scorning of logic”;
– “Economics, logic, common sense and mathematics: are they related ?”
– “A cold wind from Chicago”.

playing the piano; striding up tropical volcanoes; composing songs and chamber music.]

Recent and upcoming talks by A.R.D. Mathias

A conference on the occasion of Jensen’s 80th birthday, Münster, Aug 02–04, 2017

  Set theory conference   A conference on the occasion of Ronald B. Jensen‘s 80th birthday   Institut für Mathematische Logik und Grundlagenforschung, WWU Münster   Aug 02–Aug 04, 2017 Organizers: Menachem Magidor (Jerusalem), Ralf Schindler (Münster), John Steel (Berkeley), W. continue reading…

Set Theory Workshop in Freiburg, June 10 – 13, 2014

Set Theory Workshop in Freiburg at FRIAS and the Mathematical Institute of the Albert-Ludwigs-Universität June 10 – 13, 2014 About recent topics in set theory Speakers include Alessandro Andretta, Turin Andreas Blass, Ann Arbor Natasha Dobrinen, Denver Mirna Džamonja, Norwich Vera Fischer, Vienna Sy-David Friedman, Vienna Martin Goldstern, Vienna Menachem Kojman, Beer Sheva Péter Komjáth, Budapest Giorgio Laguzzi, Hamburg Adrian Mathias, La Réunion Menachem Magidor, Jerusalem Janusz Pawlikowski, Wrocław Lajos Soukup, Budapest Stevo Todorčević, Paris and Toronto Boban Veličković, Paris Matteo Viale, Turin Philip Welch, Bristol Lyubomyr Zdomskyy, Vienna Organisers: Heike Mildenberger, Freiburg  Luca Motto Ros, Freiburg continue reading…

4th European Set Theory Conference, July 15 – 18, 2013

The 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013. Mostowski lecture: Adam Krawczyk (Warsaw): Andrzej Mostowski Centenary. Hausdorff Medal lecture: Hugh Woodin Tutorials: Moti Gitik (Tel Aviv): Forcing and cardinal arithmetic Plenary lectures: Laura Fontanella Menachem Magidor Michael Rathjen John Steel Philip Welch Invited lectures: Alessandro Andretta: The density point property. continue reading…

2/Nov/2012: A.R.D. Mathias and Antonio Avilés

2/November/2012 11:00–12:00, Fields,Room 230 Speaker: A.R.D. Mathias Title: The truth predicate and the forcing theorem in weak  subsystems of ZF Abstract: Devlin in his book “Constructibility” sought a theory true  in every limit Goedel fragment $L_{\omega\nu}$ and every Jensen fragment $J_\nu$ (where $\nu\ge 1$) and strong enough to define the truth predicate for $\Delta_0$ formulae. continue reading…