We present a survey of some results and problems concerning constructions which require a diagonalization of length continuum to be carried out, particularly constructions of almost disjoint families of various sorts. We emphasize the role of cardinal invariants of the continuum and their combinatorial characterizations in such constructions.

For X a separable metric space and $\alpha$ an infinite ordinal, consider the following three games of length $\alpha$ : In $G^{\alpha}_1$ ONE chooses in inning $\gamma$ an $\omega$ –cover $O_{\gamma}$ of X; TWO responds with a $T_{\gamma}\in O_{\gamma}$ . TWO wins if $\{T_{\gamma}:\gamma<\alpha\}$ is an $\omega$ –cover of X; ONE wins otherwise. In $G^{\alpha}_2$ ONE chooses in inning $\gamma$ a subset $O_{\gamma}$ of ${\sf C}_p(X)$ which has the zero function $\underline{0}$ in its closure, and TWO responds with a (...) function $T_{\gamma}\in O_{\gamma}$ . TWO wins if $\underline{0}$ is in the closure of $\{T_{\gamma}:\gamma<\alpha\}$ ; otherwise, ONE wins. In $G^{\alpha}_3$ ONE chooses in inning $\gamma$ a dense subset $O_{\gamma}$ of ${\sf C}_p(X)$ , and TWO responds with a $T_{\gamma}\in O_{\gamma}$ . TWO wins if $\{T_{\gamma}:\gamma<\alpha\}$ is dense in ${\sf C}_p(X)$ ; otherwise, ONE wins. After a brief survey we prove: 1. If $\alpha$ is minimal such that TWO has a winning strategy in $G^{\alpha}_1$ , then $\alpha$ is additively indecomposable (Theorem 4) 2. For $\alpha$ countable and minimal such that TWO has a winning strategy in $G^{\alpha}_1$ on X, the following statements are equivalent (Theorem 9): a) TWO has a winning strategy in $G^{\alpha}_2$ on ${\sf C}_p(X)$ . b) TWO has a winning strategy in $G^{\alpha}_3$ on ${\sf C}_p(X)$ . 3. The Continuum Hypothesis implies that there is an uncountable set X of real numbers such that TWO has a winning strategy in $G^{\omega^2}_1$ on X (Theorem 10). (shrink)

In this paper we build an Asperó–Mota iteration of length $\omega _2$ that adds a family of $\aleph _2$ many club subsets of $\omega _1$ which cannot be diagonalized while preserving $\aleph _2$. This result discloses a technical limitation of some types of Asperó–Mota iterations.

In a recent article, Christopher Ormell argues against the traditional mathematical view that the real numbers form an uncountably infinite set. He rejects the conclusion of Cantor’s diagonal argument for the higher, non-denumerable infinity of the real numbers. He does so on the basis that the classical conception of a real number is mys- terious, ineffable, and epistemically suspect. Instead, he urges that mathematics should admit only ‘well-defined’ real numbers as proper objects of study. In practice, this means excluding as (...) inadmissible all those real numbers whose decimal expansions cannot be calculated in as much detail as one would like by some rule. We argue against Ormell that the classical realist account of the continuum has explanatory power in mathematics and should be accepted, much in the same way that "dark matter" is posited by physicists to explain observations in cosmology. In effect, the indefinable real numbers are like the "dark matter" of real analysis. (shrink)

We construct divergent models of $\mathsf {AD}^+$ along with the failure of the Continuum Hypothesis ( $\mathsf {CH}$ ) under various assumptions. Divergent models of $\mathsf {AD}^+$ play an important role in descriptive inner model theory; all known analyses of HOD in $\mathsf {AD}^+$ models (without extra iterability assumptions) are carried out in the region below the existence of divergent models of $\mathsf {AD}^+$. Our results are the first step toward resolving various open questions concerning the length of (...) definable prewellorderings of the reals and principles implying $\neg \mathsf {CH}$, like $\mathsf {MM}$, that divergent models shed light on, see Question 5.1. (shrink)

It is a commonplace in the analytic geometry of physical space-time that an extended straight line segment, having positive length, is treated as “consisting of” unextended points, each of which has zero length. Analogously, time intervals of positive duration are resolved into instants, each of which has zero duration.

The article deals with Cantor's argument for the non-denumerability of reals somewhat in the spirit of Lakatos' logic of mathematical discovery. At the outset Cantor's proof is compared with some other famous proofs such as Dedekind's recursion theorem, showing that rather than usual proofs they are resolutions to do things differently. Based on this I argue that there are "ontologically" safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based (...) on diagonal construction are caused by superficial understanding of what a name is. (shrink)

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines the (...) traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

Since the pioneering work of [Aglioti, S., DeSouza, J. F., & Goodale, M. A. . Size-contrast illusions deceive the eye but not the hand. Current Biology, 5, 679–685] visual illusions have been used to provide evidence for the functional division of labour within the visual system—one system for conscious perception and the other system for unconscious guidance of action. However, these studies were criticised for attentional mismatch between action and perception conditions and for the fact that grip size is not (...) determined by the size of an object but also by surrounding obstacles. Stoettinger and Perner [Stoettinger, E., & Perner, J., . Dissociating size representations for action and for conscious judgment: Grasping visual illusions without apparent obstacles. Consciousness and Cognition, 15, 269–284] used the diagonal illusion controlling for the influence of surrounding features on grip size and bimanual grasping to rule out attentional mismatch. Unfortunately, the latter objective was not fully achieved. In the present study, attentional mismatch was avoided by using only the dominant hand for action and for indicating perceived size. Results support the division of labour: Grip aperture follows actual size independent of illusory effects, while finger-thumb span indications of perceived length are clearly influenced by the illusion. (shrink)

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines the (...) traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

We show that from a supercompact cardinal $\kappa$, there is a forcing extension $V[G]$ that has a symmetric inner model $N$ in which $\mathrm {ZF}+\lnot\mathrm {AC}$ holds, $\kappa$ and $\kappa^{+}$ are both singular, and the continuum function at $\kappa$ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of $\kappa$ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model (...) of $\mathrm {ZF}+\lnot\mathrm {AC}_{\omega}$ in which either $\aleph_{1}$ and $\aleph_{2}$ are both singular and the continuum function at $\aleph_{1}$ can be precisely controlled, or $\aleph_{\omega}$ and $\aleph_{\omega+1}$ are both singular and the continuum function at $\aleph_{\omega}$ can be precisely controlled. Additionally, we discuss a result in which we separate the lengths of sequences of distinct subsets of consecutive singular cardinals $\kappa$ and $\kappa^{+}$ in a model of $\mathrm {ZF}$. Some open questions concerning the continuum function in models of $\mathrm {ZF}$ with consecutive singular cardinals are posed. (shrink)

Continuing, we study the Strong Downward Löwenheim–Skolem Theorems of the stationary logic and their variations. In Fuchino et al. it has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters \. This SDLS is shown to be equivalent to an internal version of the Diagonal Reflection Principle down to an internally stationary set of size \. We also consider a version of the stationary logic and show that the SDLS for this logic in internal interpretation (...) \\) for reflection down to \ is consistent under the assumption of the consistency of ZFC \ “the existence of a supercompact cardinal” and this SDLS implies that the continuum is weakly Mahlo. These three “axioms” in terms of SDLS are consequences of three instances of a strengthening of generic supercompactness which we call Laver-generic supercompactness. Existence of a Laver-generic supercompact cardinal in each of these three instances also fixes the cardinality of the continuum to be \ or \ or very large respectively. We also show that the existence of one of these generic large cardinals implies the “\” version of the corresponding forcing axiom. (shrink)

A book on the notion of fundamental length, covering issues in the philosophy of math, metaphysics, and the history and the philosophy of modern physics, from classical electrodynamics to current theories of quantum gravity. Published (2014) in Cambridge University Press.

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of (...) Cantor’s proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of (...) Cantor’s proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and Grigolia (...) :125–139, 2004) related to the characterization of a quantifier in terms of some special sub-algebra associated to it. On the other hand, we present a topological duality for this class of algebras and we apply it to characterize the congruences of one algebra via certain closed sets. Finally, we study the subvariety of this class generated by a chain of length n + 1. We prove that the subvariety is semisimple and we characterize their simple algebras. Using a special functional algebra, we determine all the simple finite algebras of this subvariety. (shrink)

The decision to publish a doctoral dissertation, especially one which has only been “lightly edited” (foreword, first sentence) and with a bibliography only partially updated to reflect the scholarship of the intervening years, must always seem a risky one. In this case the risk is well taken and the resultant book is a delightful addition to our too meager store of book length overviews of Epictetus’ philosophy in the wider context of Stoic ethics.

Let M be a transitive model of ZFC. We say that a transitive model of ZFC, N, is an outer model of M if M ⊆ N and ORD ∩ M = ORD ∩ N. The outer model theory of M is the collection of all formulas with parameters from M which hold in all outer models of M. Satisfaction defined with respect to outer models can be seen as a useful strengthening of first-order logic. Starting from an inaccessible cardinal (...) κ, we show that it is consistent to have a transitive model M of ZFC of size κ in which the outer model theory is lightface definable, and moreover M satisfies V = HOD. The proof combines the infinitary logic L∞,ω, Barwise’s results on admissible sets, and a new forcing iteration of length strictly less than κ+ which manipulates the continuum function on certain regular cardinals below κ. In the Appendix, we review some unpublished results of Mack Stanley which are directly related to our topic. (shrink)

Plato’s Theaetetus sets the problem of the definition of science; moreover, what there is in question is the problem of the definition in general. Defining means measuring, referring to definite parameters what is initially indefinite. But it is not a case that the dialogue opens with the discussion about the commensurable and incommensurable numbers: the search for what is common to all sciences is the search for their common measure, for the term to which various elements are or can be (...) commensurated. The apories Plato is showing in refuting the Protagorean thesis appear clearly as an objection against the absolute commensurability of all things: each sense is a parameter of a determinate sensible object and then results as quite incommensurable with another sense; a present sensation is incommensurable with a non present one, either past or future; all these facts question the possibility of the definition, for they reduce the knowledge, and the reality, to a set of atomic and quite unrelated elements. In the same way, the other definitions of science are rejected because of their incompleteness. But the negative conclusion of the Theaetetus regarding the definition of science must be assumed in a positive way: every operation of defining constantly presents an excess which belongs to the incommensurability and leaves every definition in a state of incompleteness. Through a comparison with the problem of the commensurable and incommensurable numbers, what is eventually shown is that the Being itself, as a mean between subject and predicate in the proposition, constitutes the diagonal element of every process of definition, irreducible to the elements that come into play. Being is, literally said, the incommensurable. (shrink)

The notion of a [Formula: see text]-generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each [Formula: see text], any [Formula: see text]-generic sequence of P-points can be extended to an [Formula: see text]-generic sequence. This shows that the CH implies that there is a chain of P-points of length [Formula: see text] with respect to both Rudin–Keisler and Tukey reducibility. These results answer an old question of Andreas Blass.

This paper examines a fundamental problem in applied mathematics. How can one model the behavior of materials that display radically different, dominant behaviors at different length scales. Although we have good models for material behaviors at small and large scales, it is often hard to relate these scale-based models to one another. Macroscale models represent the integrated effects of very subtle factors that are practically invisible at the smallest, atomic, scales. For this reason it has been notoriously difficult to (...) model realistic materials with a simple bottom-up-from-the-atoms strategy. The widespread failure of that strategy forced physicists interested in overall macro-behavior of materials toward completely top-down modeling strategies familiar from traditional continuum mechanics. The problem of the ``tyranny of scales'' asks whether we can exploit our rather rich knowledge of intermediate micro- scale behaviors in a manner that would allow us to bridge between these two dominant methodologies. Macroscopic scale behaviors often fall into large common classes of behaviors such as the class of isotropic elastic solids, characterized by two phenomenological parameters---so-called elastic coefficients. Can we employ knowledge of lower scale behaviors to understand this universality---to determine the coefficients and to group the systems into classes exhibiting similar behavior? (shrink)

We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups) is (...) not determined by the axiomatic system ZFC. We infer from the proof of the above result that the isomorphism problem for ω n -automatic boolean algebras, n ≥ 2, (respectively, rings, commutative rings, non commutative rings, non commutative groups) is neither a ${\mathrm{\Sigma }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ nor a ${\mathrm{\Pi }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ . We obtain that there exist infinitely many ω n -automatic, hence also ω-tree-automatic, atomless boolean algebras $\mathcal{B}_{n}$ , n ≥ 1, which are pairwise isomorphic under the continuum hypothesis CH and pairwise non isomorphic under an alternate axiom AT, strengthening a result of [14]. (shrink)

We suggest that, far from establishing an inconsistency in the standard theory of the geometrical linear continuum, Zeno’s Paradox of Extension merely establishes an inconsistency between the standard theory of geometrical magnitude and a misguided system of length measurement. We further suggest that our resolution of Zeno’s paradox is superior to Adolf Grünbaum’s now standard resolution based on Lebesgue measure theory.

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines the (...) traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

We prove determinacy for open length ω1 games. Going further we introduce, and prove determinacy for, a stronger class of games of length ω1, with payoff conditions involving the entire run, the club filter on ω1, and a sequence of ω1 disjoint stationary subsets of ω1. The determinacy proofs use an iterable model with a class of indiscernible Woodin cardinals, and we show that the games precisely capture the theory of the minimal model for this assumption.

Starting from a unitary, Lorentz invariant two-particle scattering amplitude, we show how to use an identification and replacement process to construct a unique, unitary particle–antiparticle amplitude. This process differs from conventional on-shell Mandelstam s, t, u crossing in that the input and constructed amplitudes can be off-diagonal and off-energy shell. Further, amplitudes are constructed using the invariant parameters which are appropriate to use as driving terms in the multi-particle, multichannel non-perturbative, cluster decomposable, relativistic scattering equations of the Faddeev-type integral equations (...) recently presented by Alfred, Kwizera, Lindesay and Noyes. It is therefore anticipated that when so employed, the resulting multi-channel solutions will also be unitary. The process preserves the usual particle–antiparticle symmetries. To illustrate this process, we construct a J=0 scattering length model chosen for simplicity. We also exhibit a class of physical models which contain a finite quantum mass parameter and are Lorentz invariant. These are constructed to reduce in the appropriate limits, and with the proper choice of value and sign of the interaction parameter, to the asymptotic solution of the non-relativistic Coulomb problem, including the forward scattering singularity, the essential singularity in the phase, and the Bohr bound-state spectrum. (shrink)

One of the widespread confusions concerning the history of the 1887 Michelson-Morley experiment has to do with the initial explanation of this celebrated null result due independently to FitzGerald and Lorentz. In neither case was a strict, longitudinal length contraction hypothesis invoked, as is commonly supposed. Lorentz postulated, particularly in 1895, any one of a certain family of possible deformation effects for rigid bodies in motion, including purely transverse alteration, and expansion as well as contraction; FitzGerald may well have (...) had the same family in mind. A careful analysis of the Michelson-Morley experiment (which reveals a number of serious inadequacies in many text-book treatments) indeed shows that strict contraction is not required. (shrink)

The creation-of-matter hypothesis of the Bondi-Gold-Hoyle steady-state cosmology requires that in an infinite time to which the first transfinite number may be assigned the number of atoms of matter produced would be equal to the cardinal number of the set of mathematical points in the continuum. The existence of a set of finite atoms with that cardinal number is physically unacceptable. The argument for the production of a non-denumerable set of atoms, in infinite time, is given in terms of (...) a model which is shown to be isomorphic with the original Cantor "diagonal" proof for the existence of a non-denumerable infinity. An alternative model which meets the requirements of the steady-state theory is presented; in this model, the number of atoms is explicitly no greater than countably infinite, and remains countably infinite as long as the past time of the universe is restricted to the unlimited set of finite unit-time intervals. If the origin of the steady-state universe is taken as being within that infinite set, expressed by the negative natural numbers, the contradiction of an atom at every mathematical point does not arise. The contradiction does arise if the origin is not within the set of finite numbers, and accordingly there is a restriction as to which concept of infinite past may properly be maintained in the steady-state theory. (shrink)

We explore the connection between combinatorial principles on uncountable cardinals, like stick and club, on the one hand, and the combinatorics of sets of reals and, in particular, cardinal invariants of the continuum, on the other hand. For example, we prove that additivity of measure implies that Martin’s axiom holds for any Cohen algebra. We construct a model in which club holds, yet the covering number of the null ideal is large. We show that for uncountable cardinals κ≤λ and (...) , if all subsets of λ either contain, or are disjoint from, a member of , then has size at least etc. As an application, we solve the Gross space problem under by showing that there is such a space over any countable field. In two appendices, we solve problems of Fuchino, Shelah and Soukup, and of Kraszewski, respectively. (shrink)

Key words: the continuum, structuralism, conceptual structuralism, basic structural conceptions, Euclidean geometry, Hilbertian geometry, the real number system, settheoretical conceptions, phenomenological conceptions, foundational conceptions, physical conceptions.

Deleuze’s philosophy is permeated with the problem of the continuum. The idea that the coexistence of durations is implied in the concept of duration itself allows Deleuze to offer a fresh perspective on multiplicity, which is distinct from Bergson’s approach, and which proposes new perspectives on the continuum. While Deleuze critiques Leibniz’s view on this concept by highlighting the non-uniform nature of the continuum, the infinitesimal still plays a significant role in his analysis. However, in his late (...) reading of Leibniz, Deleuze emphasises that folds, rather than infinitesimals, should be considered as the smallest components of the continuum’s labyrinth. This implies that there is a union of indiscernible cuts in the continuity, cuts that do not create gaps or breaks in the overall coherence, but rather a labyrinth. I will show how, in exploring this problem, Deleuze and Guattari draw inspiration from Kafka, in order to relate continuity to contiguity. This relation reveals an internal difference that defines the distinction between what is continuous and what is contiguous. This, in our view, marks a considerable shift between Deleuze’s early reading of Bergson and his late reading of Leibniz, and it allows Deleuze to further develop his idea of the continuum. (shrink)

Hippasus knew things. Secrets that were to be kept from the uninitiated at all cost. But Hippasus had spoken, betraying his sworn word to the sect. Most damning of all was a truth only he and his l...

This book gathers together for the first time an important body of texts written between 1672 and 1686 by the great German philosopher and polymath Gottfried Leibniz. These writings, most of them previously untranslated, represent Leibniz's sustained attempt on a problem whose solution was crucial to the development of his thought, that of the composition of the continuum. The volume begins with excerpts from Leibniz's Paris writings, in which he tackles such problems as whether the infinite division of matter (...) entails perfect points, whether matter and space can be regarded as true wholes, whether motion is truly continuous, and the nature of body and substance. Comprising the second section is Pacidius Philalethi, Leibniz's brilliant dialogue of late 1676 on the problem of the continuity of motion. In the selections of the final section, from his Hanover writings of 1677-1686, Leibniz abandons his earlier transcreationism and atomism in favor of the theory of corporeal substance, where the reality of body and motion is founded in substantial form or force.Leibniz's texts (one in French, the rest in Latin) are presented with facing-page English translations, together with an introduction, notes, appendixes containing related excerpts from earlier works by Leibniz and his predecessors, and a valuable glossary detailing important terms and their translations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 126-127 [Access article in PDF] James Arthur Diamond. Maimonides and the Hermeneutics of Concealment: Deciphering Scripture and Midrash in The Guide of the Perplexed. Albany: State University of New York Press, 2002. Pp. viii + 235. Paper, $20.95. In his text about the nature of Maimonidean text, Diamond shows us firsthand how the great medieval Jewish thinker's use of biblical and (...) rabbinic prooftexts brings life to each page of his Guide by having meaning rely ultimately on the reader's interpretive glance. Inviting us into his study with an epigraph by Rosenzweig on the integral role of quotation in Jewish medieval writing, Diamond concludes that a prooftext within Maimonides' great philosophical text, The Guide of the Perplexed, is "not merely a prop on which to hang certain philosophical propositions regarding God and his relationship to the creation but rather melds with the text to form an organic continuum of thought" (160). By showing how Maimonides has crafted a masterful "interplay of text and prooftext" (30), Diamond presents the Guide to us as "a bridge, drawing the student out of the philosophical text into the sacred texts and back again, dissolving the divide between the two in a perpetual hermeneutical crisscross" (31).Emphasizing the centrality of the role of the reader—and in particular, the reader engaged in an intertextual hermeneutic—in any appreciation of Maimonidean text, Diamond employs Ricoeurian language, speaking, for example, of how Maimonides' text, in its use of prooftexts whose efficacy lies in the reader's interpretive response, constitutes "a network of intersignification, thanks to which the isolated texts signify something else, something more" (40; quote from Ricoeur, "The Bible and the Imagination," 71). In particular, Diamond stresses how these hermeneutically charged prooftexts are used by Maimonides to penetrate through a range of—what are for Maimonides—metaphorical discourses about the Divine within the Jewish tradition. Ranging from straightforwardly anthropomorphic claims about God sitting or standing, to more subtly anthropocentric conceptions of the role of God in Providence, there are a host of biblical and rabbinic claims about God which Maimonides sees as metaphors—statements whose meanings are in no way worn on their sleeves, as it were. Mindful, though, of the potentially devastating effects of alerting all religious folk to the falsity of certain ways of thinking about God, Maimonides crafts his text—in particular, according to Diamond, in his use of intertextually pointing prooftexts—to beckon only the philosophically prepared readers to the real truths about God and Providence. These truths are neither spelled out in the prooftext nor in the further context from which said prooftext is pulled; rather, as Diamond explains, the truths emerge in the hermeneutical unfolding of text and prooftext, in the live process of the reader's intertextual investigation. In an encounter with Maimonides' Guide, intertextually pointing prooftexts thus enable a reader to fashion "a 'surplus of meaning' out of apparent semantic nonsense" (11; reference to Ricoeur's treatment of metaphor in his Interpretation Theory: Discourse and the Surplus of Meaning).What is fresh, creative and new about Diamond's book is not that it alerts us to the presence of secret writing strategies in Maimonides' Guide which reveal unspoken truths about God. This idea in and of itself is quite well-rehearsed within Maimonidean scholarship. What is fresh, creative and new about Diamond's study is that, in its focus on the hermeneutical efficacy of prooftexts as central to that secret writing strategy, it actually walks us through the hermeneutical process in question, step by step, with a number of cases in point. And so, Diamond not only tells us that Maimonides uses prooftexts as a strategy for pointing careful readers to uncover unspoken truths about the Divine, but Diamond actually devotes a full-length study to showing how this works in a number of [End Page 126] concrete cases. Diamond actually engages in exegesis of Maimonides' Guide in this study of Maimonidean exegesis; he actually shows us how he thinks a number of prooftexts ought to be traced through. Using a number of Maimonidean prooftexts as his starting points, Diamond takes us from Maimonides' text... (shrink)

Abstract.We will construct several models where there are no strongly meager sets of size 2ℵ0.

We will construct several models where there are no strongly meager sets of size 2ℵ0.

This research was partially supported by Grant-in-Aid for Scientific Research (No. 06640178 and No. 06640336), Ministry of Education, Science and Culture of Japan Mathematics Subject Classification: 03E05 --> Abstract. Following Carr's study on diagonal operations and normal filters on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\cal P}_{\kappa}\lambda$\end{document} in [2], several weakenings of normality have been investigated. One of them is to consider normal filters without \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document}-completeness, for (...) example, see DiPrisco-Uzcategui [3]. The other is weakening normality itself while keeping \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document}-completeness such as in Mignone [10] and Shioya [11]. We take the second one so that all filters are assumed to be \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document}-complete. In Sect. 1 a hierarchy of filters on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\cal P}_{\kappa}\lambda$\end{document} is presented which corresponds to the length of diagonal intersections under which the filters are closed. It turns out that many ranks exist between \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $FSF_{\kappa\lambda}$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $CF_{\kappa\lambda}$\end{document}. We consider seminormal ideals in Sect. 2 and determine the minimal seminormal ideal extending Johnson's result in [6]. Its precise descripti on changes according to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $cf(\lambda )$\end{document} although we can write it in a single form as well. We also prove that a nonnormal seminormal ideal \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $I\supset NS_{\kappa\lambda}$\end{document} exists if and only if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\lambda$\end{document} is regular. (shrink)

‘The Place of Geometry’ discusses the excursus on mathematics from Heidegger's 1924–25 lecture course on Platonic dialogues, which has been published as Volume 19 of the Gesamtausgabe as Plato's Sophist, as a starting point for an examination of geometry in Euclid, Aristotle and Descartes. One of the crucial points Heidegger makes is that in Aristotle there is a fundamental difference between arithmetic and geometry, because the mode of their connection is different. The units of geometry are positioned, the units of (...) arithmetic unpositioned. Following Heidegger's claim that the Greeks had no word for space, and David Lachterman's assertion that there is no term corresponding to or translatable as ‘space’ in Euclid's Elements, I examine when the term ‘space’ was introduced into Western thought. Descartes is central to understanding this shift, because his understanding of extension based in terms of mathematical co‐ordinates is a radical break with Greek thought. Not only does this introduce this word ‘space’ but, by conceiving of geometrical lines and shapes in terms of numerical co‐ordinates, which can be divided, it turns something that is positioned into unpositioned. Geometric problems can be reduced to equations, the length of lines: a problem of number. The continuum of geometry is transformed into a form of arithmetic. Geometry loses position just as the Greek notion of ‘place’ is transformed into the modern notion of space. (shrink)