James Taylor
Final report: http://images.xeny.net/jason/d/187-1/Taylor+-+Computable+reals+and+constructible+sets.pdf
—-
Notes:
http://en.wikipedia.org/wiki/Ordinal_number#Transfinite_induction
Normal J. Wildberger:

Paradoxes of naive set theory — basically only three? (Philosophers argue a lot about what counts as a set-theoretic paradox and what counts as a "semantic" paradox.)

Questions to follow up


None of these compulsory (i.e. do none or more):
http://plato.stanford.edu/entries/settheory-alternative/
http://plato.stanford.edu/entries/quine-nf/

Alternative Set Theory:

—-

Additional topic 3 September: internal and external proofs; e.g. applications of http://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem
—-
Computable reals:
http://www.thocp.net/biographies/papers/turing_oncomputablenumbers_1936.pdf