Heller M, Woodin W.H. (eds.) Infinity. New research frontiers (CUP, 2011)(ISBN 1107003873)(O)(327s)_MAml_

Heller M, Woodin W.H. (eds.) Infinity. New research frontiers (CUP, 2011)(ISBN 1107003873)(O)(327s)_MAml_ Heller M, Woodin W.H. (eds.) Infinity. New research frontiers (CUP, 2011)(ISBN 1107003873)(O)(327s)_MAml_

12.07.2015 Views

index 311WMAP.SeeWilkinson Microwave AnisotropyProbeWong, T. L, 134Woodin, W. Hugh, 11–12, 14, 89–117, 119–28,281, 281n19. SeealsoHOD conjecture;Inner Model Program; large cardinalaxioms; Omega () Conjecture; Omega()-logicWoodin cardinals, 96, 101, 103–12, 114Yamasaki, Masami, 8youngness paradox, 187–88Zeno of Elea, 55–56, 69, 235, 255, 277Zermelo, Ernst, 66, 77–78Z (Zermelo set theory). See under conceptcalculusZC (Z with the axiom of choice), 132ZF (Zermelo-Fraenkel set theory), 2–3, 4, 60,66–67, 77–78, 96, 161, 281, 281n19. Seealso under concept calculusZF + AD theory, 96, 100–101ZFC 0 set theory, 92–94ZFC set theoryand AC, 66–67, 77–78, 100Artin’s conjecture proved by, 70vs. the Axiom of Constructibility, 112axioms in, 66–67, 89, 92, 96–97, 100, 112and CH, 66–67in concept calculus, 132consistency of, 66, 78, 90and HOD, 101–2infinity absent from, 79in the Inner Model Program, 115and MBT, 132and the multiverse, 101–3and the Omega () Conjecture, 108, 110in Omega ()-logic, 109and Reinhardt cardinals, 99–101and supercompact cardinals, 113, 115and Woodin cardinals, 105, 110–11ZF expanded by, 77–78

index 311WMAP.SeeWilkinson Microwave AnisotropyProbeWong, T. L, 134<strong>Woodin</strong>, W. Hugh, 11–12, 14, 89–117, 119–28,281, 281n19. SeealsoHOD conjecture;Inner Model Program; large cardinalaxioms; Omega () Conjecture; Omega()-logic<strong>Woodin</strong> cardinals, 96, 101, 103–12, 114Yamasaki, Masami, 8youngness paradox, 187–88Zeno of Elea, 55–56, 69, 235, 255, 277Zermelo, Ernst, 66, 77–78Z (Zermelo set theory). See under conceptcalculusZC (Z with the axiom of choice), 132ZF (Zermelo-Fraenkel set theory), 2–3, 4, 60,66–67, 77–78, 96, 161, 281, 281n19. Seealso under concept calculusZF + AD theory, 96, 100–101ZFC 0 set theory, 92–94ZFC set theoryand AC, 66–67, 77–78, 100Artin’s conjecture proved by, 70vs. the Axiom of Constructibility, 112axioms in, 66–67, 89, 92, 96–97, 100, 112and CH, 66–67in concept calculus, 132consistency of, 66, 78, 90and HOD, 101–2infinity absent from, 79in the Inner Model Program, 115and MBT, 132and the multiverse, 101–3and the Omega () Conjecture, 108, 110in Omega ()-logic, 109and Reinhardt cardinals, 99–101and supercompact cardinals, 113, 115and <strong>Woodin</strong> cardinals, 105, 110–11ZF expanded by, 77–78

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!