|
1 @incollection{goedel40, |
|
2 author = {Kurt G\"odel}, |
|
3 title = {The Consistency of the Axiom of Choice and of the |
|
4 Generalized Continuum Hypothesis with the Axioms of Set |
|
5 Theory}, |
|
6 booktitle = {{Kurt G\"odel}: Collected Works}, |
|
7 volume = {II}, |
|
8 editor = {S. Feferman and others}, |
|
9 publisher = {Oxford University Press}, |
|
10 year = 1990}, |
|
11 pages = {33-101}, |
|
12 note = {First published in 1940 by Princeton University Press}} |
|
13 |
|
14 @Book{kunen80, |
|
15 author = {Kenneth Kunen}, |
|
16 title = {Set Theory: An Introduction to Independence Proofs}, |
|
17 publisher = "North-Holland", |
|
18 year = 1980} |
|
19 |
|
20 @ARTICLE{paulson-consistency, |
|
21 author = {Lawrence C. Paulson}, |
|
22 title = {The Relative Consistency of the Axiom of Choice --- Mechanized Using {Isabelle/ZF}}, |
|
23 journal = {LMS Journal of Computation and Mathematics}, |
|
24 year = {2003}, |
|
25 volume = {6}, |
|
26 pages = {198-248}, |
|
27 note = {\url{http://www.lms.ac.uk/jcm/6/lms2003-001/}}, |
|
28 } |
|
29 |
|
30 @INPROCEEDINGS{paulson-reflection, |
|
31 author = {Lawrence C. Paulson}, |
|
32 title = {The Reflection Theorem: A Study in Meta-Theoretic Reasoning}, |
|
33 pages = {377-391}, |
|
34 editor = {Andrei Voronkov}, |
|
35 booktitle = {Automated Deduction --- {CADE}-18 |
|
36 International Conference}, |
|
37 year = 2002, |
|
38 series = {LNAI 2392}, |
|
39 publisher = {Springer}} |
|
40 } |