University of Birmingham > Talks@bham > Midlands Logic Seminar > Set theoretic principles required for categoricity

## Set theoretic principles required for categoricityAdd to your list(s) Download to your calendar using vCal - Richard Kaye, School of Mathematics, University of Birmingham
- Tuesday 08 November 2016, 16:00-18:00
- Watson Building (Mathematics, R15 on map) Room 310.
If you have a question about this talk, please contact Richard. Dedekind proved that two structures satisfying the second order axioms for natural numbers are canonically isomorphic. Obviously a key point in the argument is that, assuming two such structures are not isomorphic, an inductive set must be constructed in one structure that is not the whole thing. Thus set theoretic principles are required for categoricity results of this kind, and these arguments are sensitive to the set theoretic framework we are working in, and in particular what set existence axioms are available. So the question is, which set existence axioms are actually needed? Simpson and Yokoyama investigated this question. We shall give a reading of their paper, and this will be a useful introduction to some of the methods and results in so-called “reverse mathematics”. This talk is part of the Midlands Logic Seminar series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsAnalysis Reading Seminar 2019/2020 School of Metallurgy and Materials Colloquia Contemporary History## Other talksAccurate and efficient numerical methods for molecular dynamics and data science using adaptive thermostats School Seminar Fefferman-Phong estimates and Exponential Decay of Eigenfunctions of SchrÃ¶dinger Operators First and second order shape optimization based on restricted mesh deformations Hydrodynamics and Chaos in Quantum Matter The Suzuki Chain |