This paper explores the metaphysical roots of Cantor’s conception of absolute infinity in order to shed some light on two basic issues that also affect the mathematical theory of sets: the viability of Cantor’s distinction between sets and inconsistent multiplicities, and the intrinsic justification of strong axioms of infinity that are studied in contemporary set theory.

It is proved that in the absence of proper class inner models with Woodin cardinals, for each n ε {1,…,ω}, ∑3 + n1 absoluteness implies there are n strong cardinals in K (where this denotes a suitably defined global version of the core model for one Woodin cardinal as exposed by Steel. Combined with a forcing argument of Woodin, this establishes that the consistency strength of ∑3 + n1 absoluteness is exactly that of n strong cardinals so that in particular (...) projective absoluteness is equiconsistent with the existence of infinitely many strong cardinals. It is also argued how this theorem is to be construed as the first step in the long range program of showing that projective determinacy is equivalent to its analytical consequences for the projective sets which would settle positively a conjecture of Woodin and thereby solve the last Delfino problem. (shrink)

Convinced that the classically undecidable problems of mathematics possess determinate truth values, Gödel issued a programmatic call to search for new axioms for their solution. The platonism underlying his belief in the determinateness of those questions in combination with his conception of intuition as a kind of perception have struck many of his readers as highly problematic. Following Gödel's own suggestion, this article explores ideas from phenomenology to specify a meaning for his mathematical realism that allows for a defensible epistemology.

I examine various claims to the effect that Cantor's Continuum Hypothesis and other problems of higher set theory are ill-posed questions. The analysis takes into account the viability of the underlying philosophical views and recent mathematical developments.

One of the most distinctive and intriguing developments of modern set theory has been the realization that, despite widely divergent incentives for strengthening the standard axioms, there is essentially only one way of ascending the higher reaches of infinity. To the mathematical realist the unexpected convergence suggests that all these axiomatic extensions describe different aspects of the same underlying reality.

We give an optimal lower bound in terms of large cardinal axioms for the logical strength of projective uniformization in conjuction with other regularity properties of projective sets of real numbers, namely Lebesgue measurability and its dual in the sense of category . Our proof uses a projective computation of the real numbers which code inital segments of a core model and answers a question in Hauser.

We show that form, n≧1 the existence of a∏ n m indescribable cardinal is equiconsistent with the failure of the combinatorial principle at a∏ n m indescribable cardinal κ together with the Generalized Continuum Hypothesis.

The question of how we can know anything about ideal entities to which we do not have access through our senses has been a major concern in the philosophical tradition since Plato's Phaedo. This article focuses on the paradigmatic case of mathematical knowledge. Following a suggestion by Gödel, we employ concepts and ideas from Husserlian phenomenology to argue that mathematical objects – and ideal entities in general – are recognized in a process very closely related to ordinary perception. Our analysis (...) combines Husserl's insights into the nature of perception and the phenomena of evidence and justification with case studies of the role of intuition in axiomatic set theory. (shrink)

In explaining his concept of set Cantor intimates a connection with the metaphysical scheme put forward in Plato’s Philebus to determine the place of pleasure. We argue that these determinations capture key ideas of Cantorian set theory and, moreover, extend to intuitions which continue to play a central role in the modern mathematics of infinity.

The view that mathematics deals with ideal objects to which we have epistemic access by a kind of perception has troubled many thinkers. Using ideas from Husserl’s phenomenology, I will take a different look at these matters. The upshot of this approach is that there are non-material objects and that they can be recognized in a process very closely related to sense perception. In fact, the perception of physical objects may be regarded as a special case of this more universal (...) way of recognizing objects of any kind. (shrink)

For a canonical model of set theory whose projective theory of the real numbers is stable under set forcing extensions, a set of reals of minimal complexity is constructed which fails to be universally Baire. The construction uses a general method for generating non-universally Baire sets via the Levy collapse of a cardinal, as well as core model techniques. Along the way it is shown (extending previous results of Steel) how sufficiently iterable fine structure models recognize themselves as global core (...) models. (shrink)

It is shown how certain generic extensions of a fine structural model in the sense of Mitchell and Steel [MiSt] can be reorganized as relativizations of the model to the generic object. This is then applied to the construction of Steel's core model for one Woodin cardinal [St] and its generalizations.

The paper exposes the philosophical and mathematical flaws in an attempt to settle the continuum problem by a new class of axioms based on probabilistic reasoning. I also examine the larger proposal behind this approach, namely the introduction of new primitive notions that would supersede the set theoretic foundation of mathematics.

For a canonical model of set theory whose projective theory of the real numbers is stable under set forcing extensions, a set of reals of minimal complexity is constructed which fails to be universally Baire. The construction uses a general method for generating non-universally Baire sets via the Levy collapse of a cardinal, as well as core model techniques. Along the way it is shown how sufficiently iterable fine structure models recognize themselves as global core models.

Erratum to: Axiomathes DOI 10.1007/s10516-014-9234-yIn the original publication of the article, some of the references were published incorrectly. Please find below the corrected version of these references.

We extend work of H. Friedman, L. Harrington and P. Welch to the third level of the projective hierarchy. Our main theorems say that (under appropriate background assumptions) the possibility to select definable elements of non-empty sets of reals at the third level of the projective hierarchy is equivalent to the disjunction of determinacy of games at the second level of the projective hierarchy and the existence of a core model (corresponding to this fragment of determinacy) which must then contain (...) all real numbers. The proofs use Sacks forcing with perfect trees and core model techniques. (shrink)

We prove the following consistency results about indescribable cardinals which answer a question of A. Kanamori and M. Magidor .Theorem 1.1 . CON.Theorem 5.1 . Assuming the existence of σmn indescribable cardinals for all m < ω and n < ω and given a function : {: m 2, n } 1} → {0,1} there is a poset P L[] such that GCH holds in P and Theorem 1.1 extends the work begun in [2], and its proof uses an iterated (...) forcing construction together with master condition arguments. By combining these techniques with some observations about small forcing and indescribability, one obtains the Easton-style result 5.1. (shrink)

The paper exposes the philosophical and mathematical flaws in an attempt to settle the continuum problem by a new class of axioms based on probabilistic reasoning. I also examine the larger proposal behind this approach, namely the introduction of new primitive notions that would supersede the set theoretic foundation of mathematics.

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy and (...) Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincaré and Frege. (shrink)