University of Birmingham > Talks@bham > Theoretical computer science seminar > Rudimentary recursion

## Rudimentary recursionAdd to your list(s) Download to your calendar using vCal - Adrian Mathias
- Friday 21 June 2019, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Benedikt Ahrens. REFERENCES for the seminar given at the University of Birmingham on June 21st 2019 by A. R. D. Mathias, Sc. D. (Cantab), Professeur émérite, LIM , Université de la Réunion [HMF] H. M. Friedman, Countable Models of Set Theories, in Cambridge Summer School in Mathematical Logic, August 1–21, 1971, edited by A. R. D. Mathias and Hartley Rogers Jr., Springer Lecture Notes in Mathematics 337 (1973) 539–573. [Slim] A. R. D. Mathias, Slim models of Zermelo set theory, Journal of Sym- bolic Logic 66 (2001) pp 487–496. [Strong] A. R. D. Mathias, The Strength of Mac Lane Set Theory, Annals of Pure and Applied Logic 110 (2001) pp 107–234. [Weak] A. R. D. Mathias, Weak systems of Gandy, Jensen and Devlin, in: Set Theory: Centre de Recerca Matemàtica, Barcelona 2003-4, Trends in Mathematics, Birkhäuser, Basel, 2006, pp 149–224. [Brussels] A. R. D. Mathias, Set forcing over models of Zermelo or Mac Lane, in: One hundred years of axiomatic Set Theory, Cahiers du Centre de logique 17, Academia-Bruylant, Louvain-la-Neuve, 2010, pp 41–66. [RuGent] A. R. D. Mathias and N.J.Bowler, Rudimentary recursion, gentle func- tions and provident sets, Notre Dame Journal of Formal Logic 56 (2015) pp 3–60. [ProFor] A. R. D. Mathias, Provident sets and rudimentary set forcing, Funda- menta Mathematicæ 230 (2015) pp 99–148. [EKMcK] Ali Enayat, Matt Kaufmann, Zachiri McKenzie, Largest initial seg- ments pointwise fixed by automorphisms of models of set theory, Arch. Math. logic 57 (2018) pp 91–139. [ZMcK] Zachiri McKenzie, On the relative strengths of fragments of collection, Math. Log. Quart 65 (2019) pp 80-94. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, The Sloman Lounge (UG)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsArtificial Intelligence and Natural Computation seminars School of Chemistry Seminars IRLab Seminars: Robotics, Computer Vision & AI## Other talksModule tensor categories and the Landau-Ginzburg/conformal field theory correspondence TBA TBC TBC The science of the large scale heliosphere and the missions that made it possible Plasmonic Electronic Paper |