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

index 301antinomies in, 40–42on the apeiron, 9biographical sketch, 279–80Cantor dust, 186n7cardinalities of, 250on cardinal vs. ordinal numbers, 10and Christian theology, 227diagonal argument of, 2, 77on the fear of infinity, 4on God, 41, 41t, 47, 282–83n22and infinite cardinals theory, 248infinity concept rationalized by, 227infinity levels, 47, 77limits and bounds in, 236on mathematical infinity, 12, 61, 65–68, 77,193n1on metaphysics, 12and Nicholas of Cusa, 39ordinal number theory of, 248and physics, 5, 12and set theory, 1–2, 10, 47, 77–78, 279–81and the On, 248n9Cappadocian Fathers, 27, 226cardinality, 2, 10, 40–41, 61, 66, 77, 242, 281,288cardinal numbers, 10, 40–41, 248, 280, 282. Seealso infinite cardinals; Reinhardt cardinals;supercompact cardinals; transfinitecardinals; Woodin cardinalsCauchy, Augustin-Louis, 64causal set theory, 168–69Cavalieri, Bonaventura, 62Cesàro, Ernesto, 64CH. See Cantor, Georg; continuum hypothesisthe Christian infinite, 260–74Christian metaphysics, 257, 271Christian theology. See also God; God andinfinity; Judeo-Christian traditionthe apeiron in, 235vs. Aristotle’s metaphysics, 23Cantor’s contribution to, 227Creator vs. creation in, 212God vs. potentiality in, 243and Greek metaphysics, 47, 283and Hegel, 272and infinity, 226, 293limits and bounds in, 253and mathematical infinity, 253Christological/Trinitarian debates, 28chronos (earthly, passing time), 25Clement of Alexandria, 27CMB. See cosmic microwave backgroundcoding of information into time, 119Cohen, Paulaxiom of choice failure forced by, 102–3, 106and Axiom of Constructibility, 112and axiom of infinity hierarchies, 95Ax-Kochen theorem proved by, 70on continuum hypothesis, 281n19and large cardinal axioms, 117mathematical logic advanced by, 79on ZF vs. AC, 67on ZF vs. CH, 3coincidentia oppositorum (coincidents ofopposites), 35–38, 37n100, 41t, 269,291–92Coleman, Sidney, 180combinatorics, 60, 60–62, 74, 116compactification, 220completeness theorem (Gödel), 47, 83, 109, 124,146.Seealsoincompleteness theoremscomputer science/technology, 2, 4, 60, 65,70–72, 74, 94, 168concept calculus. See also better than (system);much better than (MBT) systemBasic axiom (B), 131–32, 137–40, 143,145–48, 150–56, 158–64concept amplification in, 137defined, 130Diverse Exactness axiom (DE), 131–32,137–39, 143, 149, 163interpretation in, 132–37Lemma mathematics in, 135–36, 143–63overviews, 4, 130–64Peano arithmetic in, 134–36, 140–42, 164range of things in, 137–38, 163STAR axiom in, 163startling observations, 136–37Strong Diverse Exactness axiom (SDE), 131,138–40, 145, 148–51, 159, 161–64Strong Unlimited Improvement axiom (SUI),131, 138–41, 143, 146, 163–64Super Strong Diverse Exactness axiom(SSDE), 131, 138–40, 143, 145–48, 163Unlimited Improvement axiom (UI), 131–32,137–40, 161–64Very Strong Diverse Exactness axiom(VSDE), 131, 138, 140, 143, 145–48, 163ZFC system in, 132ZF systems in, 131–32, 134, 138–39, 142–43,145–46, 161, 163Z systems in, 131–32, 135–36, 138–39,145–48, 152, 155, 159–61“Concept Calculus: Much Better Than”(Friedman), 4, 12, 130–64conformal boundaries, 224, 224n14conformal infinity, 219–20, 222conformal slice, 186f