equal
deleted
inserted
replaced
41 |
41 |
42 Kenneth Kunen, Set Theory: An Introduction to Independence Proofs, |
42 Kenneth Kunen, Set Theory: An Introduction to Independence Proofs, |
43 (North-Holland, 1980) |
43 (North-Holland, 1980) |
44 *} |
44 *} |
45 theories |
45 theories |
46 ZFC |
46 ZF (global) |
|
47 ZFC (global) |
47 document_files "root.tex" |
48 document_files "root.tex" |
48 |
49 |
49 session "ZF-AC" (ZF) in AC = ZF + |
50 session "ZF-AC" (ZF) in AC = ZF + |
50 description {* |
51 description {* |
51 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
52 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |