No subject

Thomas Forster T.Forster at
Fri Aug 30 09:13:25 EDT 2002

My colleage Larry Paulson here in Cambridge has recently 
formalized the consistency proof for AC (Goedel's constructible universe, etc.) using Isabelle/ZF. A short note on this  proof is here:

 A document automatically generated from the proof is here (beware, 281 

More information about the FOM mailing list