We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks, we focus our attention on the generic homeomorphism of the Cantor set, as constructed by Akin, Glasner, and Weiss. We show that this homeomorphism is the prime model of its theory. We also show that the notion of “generic” used by Akin, Glasner, and Weiss is distinct from the notion of “generic” encountered (...) in Fraïssé theory. (shrink)

ABSTRACT The Great Exhibition of 1851 is generally interpreted as a thoroughly secular event that celebrated progress in science, technology, and industry. In contrast to this perception, however, the exhibition was viewed by many contemporaries as a religious event of considerable importance. Although some religious commentators were highly critical of the exhibition and condemned the display of artifacts in the Crystal Palace as giving succor to materialism, others incorporated science and technology into their religious frameworks. Drawing on sermons, tracts, and (...) the religious periodical press, this essay pays close attention to the ways in which science and technology were endowed with providentialist significance and particularly examines the notion of human progress used by a number of Christian writers, especially Congregationalists, who set scientific and technological progress within a teleological religious perspective. This discussion sheds fresh light not only on the Great Exhibition itself but also on the deployment of natural theology in mid-nineteenth-century Britain. (shrink)

The Ḥatäta Zärʾa Yaʿǝqob and the Ḥatäta Wäldä Ḥəywät are enigmatic and controversial works. Respectively an autobiography and a companion treatise by a disciple, they are composed in the Gǝʿǝz language and set in the highlands of Ethiopia during the seventeenth century. Expressed in prose of great power and beauty, they bear witness to pivotal events in Ethiopian history and develop a philosophical system of considerable depth. However, they have also been condemned by some as a forgery, an elaborate mystification (...) successful in deceiving generations of European and Ethiopian scholars. -/- This volume breaks new ground for the study of these texts, presenting a clear account of the most up-to-date scholarship the ways they works are being investigated by contemporary philosophers, philologists, and historians. -/- While the authorship question is addressed in the volume, it is not the sole locus of discussion. The near-exclusive focus on this question over the last century has obscured scholarly interest in the texts’ philosophical and literary qualities in their own right. Accordingly, this volume begins to fill this gap, exploring the texts' implications for the global history of philosophy and transnational intellectual history of the 17th century. (shrink)

It is well known that infinite minimal sets for continuous functions on the interval are Cantor sets; that is, compact zero dimensional metrizable sets without isolated points. On the other hand, it was proved in Alcaraz and Sanchis (Bifurcat Chaos 13:1665–1671, 2003) that infinite minimal sets for continuous functions on connected linearly ordered spaces enjoy the same properties as Cantor sets except that they can fail to be metrizable. However, no examples of such subsets have been known. In (...) this note we construct, in ZFC, ${2^{\mathfrak{c}}}$ non-metrizable infinite pairwise non-homeomorphic minimal sets on compact connected linearly ordered spaces. (shrink)

For forty years, Harvey Mansfield has been worth reading. Whether plumbing the depths of MachiavelliOs Discourses or explaining what was at stake in Bill ClintonOs impeachment, MansfieldOs work in political philosophy and political science has set the standard. In Educating the Prince, twenty-one of his students, themselves distinguished scholars, try to live up to that standard. Their essays offer penetrating analyses of Machiavellianism, liberalism, and America., all of them informed by MansfieldOs own work. The volume also includes a bibliography of (...) MansfieldOs writings. (shrink)

Abstract:In this article, Kundakunda's theory of omniscience is defended using formal principles derived from set theory. More precisely, analogous features in the work of Jain mystic Kundakunda and the German mathematician Georg Cantor are described, demonstrating that both thinkers demanded an independently existent, transcendental Absolute to render consistent their own systems of thought. Both of their projects entailed resolving the formal quandary of inaccessibility, or the inability for any sequential, determinate objectifications to ever mereologically sum up to a genuine (...) 'Absolute'—that is, a 'gestalt' that is 'more than the sum of its parts'. (shrink)

Foundations of a General Theory of Manifolds [Cantor, 1883], which I will refer to as the Grundlagen, is Cantor’s first work on the general theory of sets. It was a separate printing, with a preface and some footnotes added, of the fifth in a series of six papers under the title of “On infinite linear point manifolds”. I want to briefly describe some of the achievements of this great work. But at the same time, I want to discuss (...) its connection with the so-called paradoxes in set theory. There seems to be some agreement now that Cantor’s own understanding of the theory of transfinite numbers in that monograph did not contain an implicit contradiction; but there is less agreement about exactly why this is so and about the content of the theory itself. For various reasons, both historical and internal, the Grundlagen seems not to have been widely read compared to later works of Cantor, and to have been even less well understood. But even some of the more recent discussions of the work, while recognizing to some degree its unique character, misunderstand it on crucial points and fail to convey its true worth. (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.

Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...) set theory has proceeded in the opposite direction, from a web of intensions to a theory of extensionpar excellence, and like other fields of mathematics its vitality and progress have depended on a steadily growing core of mathematical structures and methods, problems and results. There is also the stronger contention that from the beginning set theory actually developed through a progression ofmathematicalmoves, whatever and sometimes in spite of what has been claimed on its behalf.What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem. (shrink)

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913).? This definitive history of a critical period in mathematics includes detailed accounts of the two principal influences upon Russell around 1900: the set theory of Cantor and the mathematical logic (...) of Peano and his followers. Substantial surveys are provided of many related topics and figures of the late nineteenth century: the foundations of mathematical analysis under Weierstrass; the creation of algebraic logic by De Morgan, Boole, Peirce, Schröder, and Jevons; the contributions of Dedekind and Frege; the phenomenology of Husserl; and the proof theory of Hilbert. The many-sided story of the reception is recorded up to 1940, including the rise of logic in Poland and the impact on Vienna Circle philosophers Carnap and Gödel. A strong American theme runs though the story, beginning with the mathematician E. H. Moore and the philosopher Josiah Royce, and stretching through the emergence of Church and Quine, and the 1930s immigration of Carnap and GödeI. Grattan-Guinness draws on around fifty manuscript collections, including the Russell Archives, as well as many original reviews. The bibliography comprises around 1,900 items, bringing to light a wealth of primary materials. Written for mathematicians, logicians, historians, and philosophers--especially those interested in the historical interaction between these disciplines--this authoritative account tells an important story from its most neglected point of view. Whitehead and Russell hoped to show that (much of) mathematics was expressible within their logic; they failed in various ways, but no definitive alternative position emerged then or since. (shrink)

David Hilbert famously remarked, “No one will drive us from the paradise that Cantor has created.” This volume offers a guided tour of modern mathematics’ Garden of Eden, beginning with perspectives on the finite universe and classes and Aristotelian logic. Author Mary Tiles further examines permutations, combinations, and infinite cardinalities; numbering the continuum; Cantor’s transfinite paradise; axiomatic set theory; logical objects and logical types; independence results and the universe of sets; and the constructs and reality of mathematical structure. (...) Philosophers and mathematicians will find an abundance of intriguing topics in this text, which is appropriate for undergraduate- and graduate-level courses. 1989 ed. 32 figures. (shrink)

The importance of Georg Cantor’s religious convictions is often neglected in discussions of his mathematics and metaphysics. Herein I argue, pace Jan ́e (1995), that due to the importance of Christianity to Cantor, he would have never thought of absolutely infinite collections/inconsistent multiplicities,as being merely potential, or as being purely mathematical entities. I begin by considering and rejecting two arguments due to Ignacio Jan ́e based on letters to Hilbert and the generating principles for ordinals, respectively, showing that (...) my reading of Cantor is consistent with that evidence. I then argue that evidence from Cantor’s later writings shows that he was still very religious later in his career, and thus would not have given up on the reality of the absolute, as that would imply an imperfection on the part of God. (shrink)

I propose a revision of Cantor’s account of set size that understands comparisons of set size fundamentally in terms of surjections rather than injections. This revised account is equivalent to Cantor's account if the Axiom of Choice is true, but its consequences differ from those of Cantor’s if the Axiom of Choice is false. I argue that the revised account is an intuitive generalization of Cantor’s account, blocks paradoxes—most notably, that a set can be partitioned into (...) a set that is bigger than it—that can arise from Cantor’s account if the Axiom of Choice is false, illuminates the debate over whether the Axiom of Choice is true, is a mathematically fruitful alternative to Cantor’s account, and sheds philosophical light on one of the oldest unsolved problems in set theory. (shrink)

Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on (...) the scope of quantifiers reveals a natural way out. (shrink)

Axiomatic set theory with full comprehension is known to be consistent in Łukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.

Georg Cantor, the founder of set theory, cared much about a philosophical foundation for his theory of infinite numbers. To that end, he studied intensively the works of Baruch de Spinoza. In the paper, we survey the influence of Spinozean thoughts onto Cantor’s; we discuss Spinoza’s philosophy of infinity, as it is contained in his Ethics; and we attempt to draw a parallel between Spinoza’s and Cantor’s ontologies. Our conclusion is that the study of Spinoza provides deepening (...) insights into Cantor’s philosophical theory, whilst Cantor can not be called a ‘Spinozist’ in any stricter sense of that word.Keywords: Georg Cantor; Baruch de Spinoza; Infinity in philosophy and mathematics; Transfinite numbers; Set theory; Infinity and pantheism. (shrink)

The celebrated “creation” of transfinite set theory by Georg Cantor has been studied in detail by historians of mathematics. However, it has generally been overlooked that his research program cannot be adequately explained as an outgrowth of the mainstream mathematics of his day. We review the main extra-mathematical motivations behind Cantor's very novel research, giving particular attention to a key contribution, the Grundlagen (Foundations of a general theory of sets) of 1883, where those motives are articulated in some (...) detail. Evidence from other publications and correspondence is pulled out to provide clarification and a detailed interpretation of those ideas and their impact upon Cantor's research. Throughout the paper, a special effort is made to place Cantor's scientific undertakings within the context of developments in German science and philosophy at the time (philosophers such as Trendelenburg and Lotze, scientists like Weber, Riemann, Vogt, Haeckel), and to reflect on the German intellectual atmosphere during the nineteenth century. (shrink)

This chapter presents a response to Chapter 1. The arguments put forward in that chapter attempted to drive us from the paradise created by Cantor’s theory of infinite number. The principal complaint is that Cantor’s proof that the subsets of a set are more numerous than its elements fails to yield an adequate diagnosis of Russell’s paradox. This chapter argues that Cantor’s proof was never meant to be a diagnosis of Russell’s paradox. Further, it argues that (...) class='Hi'>Cantor’s theory is fine as it is. (shrink)

We prove a generalization of the hyper-game theorem by using an abstract version of inductively generated formal topology. As applications we show proofs for Cantor theorem, uncountability of the set of functions from N to N and Gödel theorem which use no diagonal argument.

A partition is finitary if all its members are finite. For a set A, $\mathscr {B}(A)$ denotes the set of all finitary partitions of A. It is shown consistent with $\mathsf {ZF}$ (without the axiom of choice) that there exist an infinite set A and a surjection from A onto $\mathscr {B}(A)$. On the other hand, we prove in $\mathsf {ZF}$ some theorems concerning $\mathscr {B}(A)$ for infinite sets A, among which are the following: (1) If there is a finitary (...) partition of A without singleton blocks, then there are no surjections from A onto $\mathscr {B}(A)$ and no finite-to-one functions from $\mathscr {B}(A)$ to A. (2) For all $n\in \omega $, $|A^n|<|\mathscr {B}(A)|$. (3) $|\mathscr {B}(A)|\neq |\mathrm {seq}(A)|$, where $\mathrm {seq}(A)$ is the set of all finite sequences of elements of A. (shrink)

Although recent evidence is somewhat ambiguous, if not confusing, Patrick Grim still seems to believe that his Cantorian argument against omniscienceis sound. According to this argument, it follows by Cantor’s power set theorem that there can be no set of all truths. Hence, assuming that omniscience presupposes precisely such a set, there can be no omniscient being. Reconsidering this argument, however, guided in particular by Alvin Plantinga’s critique thereof, I find it far from convincing. Not only does it have (...) an enormously untoward side effect, but it is self-referentially incoherent as well. (shrink)

This thesis is divided into three parts, the first and second ones focused on combinatorics and classification problems on discrete and geometrical objects in the context of descriptive set theory, and the third one on generalized descriptive set theory at singular cardinals of countable cofinality.Descriptive Set Theory (briefly: DST) is the study of definable subsets of Polish spaces, i.e., separable completely metrizable spaces. One of the major branches of DST is Borel reducibility, successfully used in the last 30 years to (...) solve and compare many classification problems. One of our goals is the classification of knots, very familiar and tangible objects in everyday life, which also play an important role in modern mathematics. The study of knots and their properties is known as knot theory. Our plan is to gain insight into knots using discrete objects, such as linear and circular orders. This approach was already exploited in [6]. The first part of this work is therefore devoted to countable linear orders and the study of the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results. We also expand our research to the case of circular orders.Another objective of this first part is to extend the notion of convex embeddability on countable linear orders. We provide a family of quasi-orders of which embeddability is a particular case as well. We study these quasi-orders from a combinatorial point of view and analyse their complexity with respect to Borel reducibility. Furthermore, we extend the analysis of these quasi-orders to the set of uncountable linear orders.The second part of the project deals with classification problems on knots and $3$ -manifolds. The goal here is to apply the results obtained in the first part to the study of proper arcs and knots, establishing lower bounds for the complexity of some natural relations between these geometrical objects. We also obtain some combinatorial results which are particularly interesting when we restrict to the set of wild proper arcs and wild knots, classes which haven’t received much attention so far. These parts are included in the two preprints [4, 5] in collaboration with my supervisor Alberto Marcone, Luca Motto Ros (University of Torino), and Vadim Weinstein (University of Oulu).The second part of this work also includes the classification of non-compact $3$ -manifolds up to homeomorphism (the case of compact $3$ -manifolds has already been solved: indeed, there are only countably many $3$ -manifolds up to homeomorphism; see [7]), and that of Cantor sets of $\mathbb {R}^3$ up to conjugation (answering to Question 5.5 of [3]). Here we resort to algebraic tools. Stone duality gives a neat way to go back-and-forth between totally disconnected Polish spaces and countable Boolean algebras (see [1]). The main ingredient is the Stone space of all ultrafilters on a Boolean algebra. In this work we introduce a weaker concept which we call “blurry filter”. Using blurry filters instead of ultrafilters enables one to extend the class of spaces under consideration beyond totally disconnected. As an application of this method, we show that both homeomorphism on non-compact $3$ -manifolds and conjugation of Cantor sets in $\mathbb {R}^3$ are completely classifiable by countable structures. These results are part of an upcoming paper in collaboration with Vadim Weinstein.The last part of this thesis concerns the natural generalization of descriptive set theory that occurs when countable is replaced by uncountable, called Generalized Descriptive Set Theory (briefly: GDST). In particular, we focus on the case of GDST for a singular cardinal $\kappa $ of countable cofinality. The goal here is to study the generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $\mathcal {P}(\kappa )$. We consider the question under which large cardinal hypotheses classes of definable subsets of these spaces possess such regularity properties, focusing on rank-into-rank axioms, like I2, and classes of sets definable by $\Sigma _1$ -formulas with parameters from various collections of sets. The obtained results are included in [2], a joint work with my co-supervisor Vincenzo Dimonte and Philipp Lücke (University of Hamburg).Abstract prepared by Martina IannellaE-mail: [email protected]: https://air.uniud.it/handle/11390/1262824. (shrink)

The present note was prompted by Weber’s approach to proving Cantor’s theorem, i.e., the claim that the cardinality of the power set of a set is always greater than that of the set itself. While I do not contest that his proof succeeds, my point is that he neglects the possibility that by similar methods it can be shown also that no non-empty set satisfies Cantor’s theorem. In this paper unrestricted abstraction based on a cut free Gentzen type (...) sequential calculus will be employed to prove both results. In view of the connection between Priest’s three-valued logic of paradox and cut free Gentzen calculi this, a fortiori, has an impact on any paraconsistent set theory built on Priest’s logic of paradox. (shrink)

The main result of this paper is to show that for every recursive ordinal α ≠ 0 and for every nonrecursive r.e. degree d there is a r.e. set of rank α and degree d.

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.

One of the greatest revolutions in mathematics occurred when Georg Cantor (1845-1918) promulgated his theory of transfinite sets.

Georg Cantor's absolute infinity, the paradoxical Burali-Forti class Ω of all ordinals, is a monstrous non-entity for which being called a "class" is an undeserved dignity. This must be the ultimate vexation for mathematical philosophers who hold on to some residual sense of realism in set theory. By careful use of Ω, we can rescue Georg Cantor's 1899 "proof" sketch of the Well-Ordering Theorem––being generous, considering his declining health. We take the contrapositive of Cantor's suggestion and add (...) Zermelo's choice function. This results in a concise and uncomplicated proof of the Well-Ordering Theorem. (shrink)

A Cantor series expansion for a real number x with respect to a basic sequence $Q=(q_1,q_2,\dots )$, where $q_i \geq 2$, is a generalization of the base b expansion to an infinite sequence of bases. Ki and Linton in 1994 showed that for ordinary base b expansions the set of normal numbers is a $\boldsymbol {\Pi }^0_3$ -complete set, establishing the exact complexity of this set. In the case of Cantor series there are three natural notions of normality: (...) normality, ratio normality, and distribution normality. These notions are equivalent for base b expansions, but not for more general Cantor series expansions. We show that for any basic sequence the set of distribution normal numbers is $\boldsymbol {\Pi }^0_3$ -complete, and if Q is $1$ -divergent then the sets of normal and ratio normal numbers are $\boldsymbol {\Pi }^0_3$ -complete. We further show that all five non-trivial differences of these sets are $D_2(\boldsymbol {\Pi }^0_3)$ -complete if $\lim _i q_i=\infty $ and Q is $1$ -divergent. This shows that except for the trivial containment that every normal number is ratio normal, these three notions are as independent as possible. (shrink)

In 1885, Georg Cantor published his review of Gottlob Frege's Grundlagen der Arithmetik . In this essay, we provide its first English translation together with an introductory note. We also provide a translation of a note by Ernst Zermelo on Cantor's review, and a new translation of Frege's brief response to Cantor. In recent years, it has become philosophical folklore that Cantor's 1885 review of Frege's Grundlagen already contained a warning to Frege. This warning is said (...) to concern the defectiveness of Frege's notion of extension. The exact scope of such speculations varies and sometimes extends as far as crediting Cantor with an early hunch of the paradoxical nature of Frege's notion of extension. William Tait goes even further and deems Frege 'reckless' for having missed Cantor's explicit warning regarding the notion of extension. As such, Cantor's purported inkling would have predated the discovery of the Russell-Zermelo paradox by almost two decades. In our introductory essay, we discuss this alleged implicit (or even explicit) warning, separating two issues: first, whether the most natural reading of Cantor's criticism provides an indication that the notion of extension is defective; second, whether there are other ways of understanding Cantor that support such an interpretation and can serve as a precisification of Cantor's presumed warning. (shrink)

Georg Cantor a cherché à assurer les fondements de sa théorie des ensembles. Cet article présente les differentiations cantoriennes concernant la notion d’infinité et une perspective historique de l’émergence de sa notion d’ensemble.

There is an apparent tension between the open-ended aspect of the ordinal sequence and the assumption that the set-theoretical universe is fully determinate. This tension is already present in Cantor, who stressed the incompletable character of the transfinite number sequence in Grundlagen and avowed the definiteness of the totality of sets and numbers in subsequent philosophical publications and in correspondence. The tension is particularly discernible in his late distinction between sets and inconsistent multiplicities. I discuss Cantor’s contrasting views, (...) and I conclude that his account of that distinction is only tenable if the definiteness of the set-theoretical universe is rejected. (shrink)

The mathematician Georg Cantor strongly believed in the existence of actually infinite numbers and sets. Cantor’s “actualism” went against the Aristotelian tradition in metaphysics and mathematics. Under the pressures to defend his theory, his metaphysics changed from Spinozistic monism to Leibnizian voluntarist dualism. The factor motivating this change was two-fold: the desire to avoid antinomies associated with the notion of a universal collection and the desire to avoid the heresy of necessitarian pantheism. We document the changes in (...) class='Hi'>Cantor’s thought with reference to his main philosophical-mathematical treatise, the Grundlagen (1883) as well as with reference to his article, “Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche” (“Concerning Various Perspectives on the Actual Infinite”) (1885). (shrink)

Cantor’s proof that the reals are uncountable forms a central pillar in the edifices of higher order recursion theory and set theory. It also has important applications in model theory, and in the foundations of topology and analysis. Due partly to these factors, and to the simplicity and elegance of the proof, it has come to be accepted as part of the ABC’s of mathematics. But even if as an Archimedean point it supports tomes of mathematical theory, there is (...) a question that demands clarification: What, exactly, does Cantor’s proof show? One of few places where this question is addressed is Appendix II of Wittgenstein’s Remarks on the Foundations of Mathematics. This essay is devoted to clarifying Wittgenstein’s remarks in that section. (shrink)

In studying the early history of mathematical logic and set theory one typically reads that Georg Cantor discovered the so-called Burali-Forti (BF) paradox sometime in 1895, and that he offered his solution to it in his famous 1899 letter to Dedekind. This account, however, leaves it something of a mystery why Cantor never discussed the paradox in his writings. Far from regarding the foundations of set theory to be shaken, he showed no apparent concern over the paradox and (...) its implications whatever. Against this account, I will argue here that in fact Cantor never saw any paradox at all, but that his conception of set at that time, and already as far back as 1883, was one in which the paradoxes cannot arise. (shrink)

Cantor’s proof that the reals is uncountable forms a central pillar in the edifices of higher order recursion theory and set theory. It also has important applications in model theory, and in the foundations of topology and analysis. Due partly to these factors, and to the simplicity and elegance of the proof, it has come to be accepted as part of the ABC’s of mathematics. But even if it supports tomes of mathematical theory, there is a question that demands (...) clarification: What does Cantor’s proof show? One of few places where this question is addressed is Appendix II of Wittgenstein’s Remarks on the Foundations of Mathematics. This essay is devoted to clarifying Wittgenstein’s key interpretive remarks. (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

We give an affirmative answer to the following question: Is any Borel subset of a Cantor set C a sum of a countable number of pairwise disjoint h-homogeneous subspaces that are closed in X? It follows that every Borel set \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X \subset {\bf R}^n}$$\end{document} can be partitioned into countably many h-homogeneous subspaces that are Gδ-sets in X.