[FOM] Reverse Mathematics and Analysis
D.R. MacIver
drm39 at cam.ac.uk
Fri Oct 29 12:44:06 EDT 2004
Hi,
I'm in the process of trying to put together a proposal (and in particular
a reading list) for a part III essay on the foundations of analysis:
Basically how it depends on the underlying set theoretic axioms (I don't
want to investigate anything too wild here. Standard logical systems and
working in ZF + stuff).
It's been suggested that I take a look at reverse mathematics, and how much
if any of it I wanted to include. At the moment I know essentially nothing
about it (pretty much what's in the wikipedia entry and nothing else), so
I'd appreciate it if you could give me some pointers in the right
direction: What books would be good to learn about it, and to get a feel
for the subject. Ideally with at least some nod in the direction of
analysis kept in mind, as I'd imagine the theory has a rather different
character when looking at, for example, number theory or algebra (of course
it might not. As I said, I simply don't know much about it).
Thanks,
David MacIver
More information about the FOM
mailing list