This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Subcategories:
62 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 62
Material to categorize
  1. Paul Corazza (2010). The Axiom of Infinity and Transformations J: V→V. Bulletin of Symbolic Logic 16 (1):37-84.
    We suggest a new approach for addressing the problem of establishing an axiomatic foundation for large cardinals. An axiom asserting the existence of a large cardinal can naturally be viewed as a strong Axiom of Infinity. However, it has not been clear on the basis of our knowledge of ω itself, or of generally agreed upon intuitions about the true nature of the mathematical universe, what the right strengthening of the Axiom of Infinity is—which large cardinals ought to be derivable? (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Michał Heller & W. H. Woodin (eds.) (2011). Infinity: New Research Frontiers. Cambridge University Press.
    Machine generated contents note: Introduction Rudy Rucker; Part I. Perspectives on Infinity from History: 1. Infinity as a transformative concept in science and theology Wolfgang Achtner; Part II. Perspectives on Infinity from Mathematics: 2. The mathematical infinity Enrico Bombieri; 3. Warning signs of a possible collapse of contemporary mathematics Edward Nelson; Part III. Technical Perspectives on Infinity from Advanced Mathematics: 4. The realm of the infinite W. Hugh Woodin; 5. A potential subtlety concerning the distinction between determinism and nondeterminism W. (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Ignasi Jané (2010). Idealist and Realist Elements in Cantor's Approach to Set Theory. Philosophia Mathematica 18 (2):193-226.
    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 (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. I. Jane (2010). Idealist and Realist Elements in Cantor's Approach to Set Theory. Philosophia Mathematica 18 (2):193-226.
    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 (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Matthew W. Parker (2013). Set Size and the Part-Whole Principle. Review of Symbolic Logic (4):1-24.
    Recent work has defended “Euclidean” theories of set size, in which Cantor’s Principle (two sets have equally many elements if and only if there is a one-to-one correspondence between them) is abandoned in favor of the Part-Whole Principle (if A is a proper subset of B then A is smaller than B). It has also been suggested that Gödel’s argument for the unique correctness of Cantor’s Principle is inadequate. Here we see from simple examples, not that Euclidean theories of set (...)
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  6. Esther Ramharter (2009). Christine Redecker. Wittgensteins Philosophie der Mathematik: Eine Neubewertung Im Ausgang Von der Kritik an Cantors Beweis der Überabzählbarkeit der Reellen Zahlen. [Wittgenstein's Philosophy of Mathematics: A Reassessment Starting From the Critique of Cantor's Proof of the Uncountability of the Real Numbers]. Philosophia Mathematica 17 (3):382-392.
    (No abstract is available for this citation).
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Gabriel Uzquiano (2005). Review of M. Potter, Set Theory and its Philosophy: A Critical Introduction. [REVIEW] Philosophia Mathematica 13 (3):308-346.
The Continuum Hypothesis
  1. Uri Abraham (1983). On Forcing Without the Continuum Hypothesis. Journal of Symbolic Logic 48 (3):658-661.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. C. Alvarez Jimenez (1995). Some Logical Remarks Concerning the Continuum Problem. Boston Studies in the Philosophy of Science 172:173-186.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  3. Arthur W. Apter (2002). Review of J. Cummings, A Model in Which GCH Holds at Successors but Fails at Limits; Strong Ultrapowers and Long Core Models; Coherent Sequences Versus Radin Sequences; and J. Cummings, M. Foreman, and M. Magidor, Squares, Scales and Stationary Reflection. [REVIEW] Bulletin of Symbolic Logic 8 (4):550-552.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. David J. Chalmers, Is the Continuum Hypothesis True, False, or Neither?
    Thanks to all the people who responded to my enquiry about the status of the Continuum Hypothesis. This is a really fascinating subject, which I could waste far too much time on. The following is a summary of some aspects of the feeling I got for the problems. This will be old hat to set theorists, and no doubt there are a couple of embarrassing misunderstandings, but it might be of some interest to non professionals.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Justin Clarke-Doane (2013). What is Absolute Undecidability?†. Noûs 47 (3):467-481.
    It is often alleged that, unlike typical axioms of mathematics, the Continuum Hypothesis (CH) is indeterminate. This position is normally defended on the ground that the CH is undecidable in a way that typical axioms are not. Call this kind of undecidability “absolute undecidability”. In this paper, I seek to understand what absolute undecidability could be such that one might hope to establish that (a) CH is absolutely undecidable, (b) typical axioms are not absolutely undecidable, and (c) if a mathematical (...)
    Remove from this list | Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  6. Paul J. Cohen (1966). Set Theory and the Continuum Hypothesis. New York, W. A. Benjamin.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  7. Paul J. Cohen (1963). The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Sciences of the United States of America 50 (6):1143--8.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. Raouf Doss (1963). On Gödel's Proof That $V=L$ Implies the Generalized Continuum Hypothesis. Notre Dame Journal of Formal Logic 4 (4):283-287.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Solomon Feferman, Conceptions of the Continuum.
    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.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Solomon Feferman, Conceptual Structuralism and the Continuum.
    • This comes from my general view of the nature of mathematics, that it is humanly based and that it deals with more or less clear conceptions of mathematical structures; for want of a better word, I call that view conceptual structuralism.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Joel I. Friedman (1971). The Generalized Continuum Hypothesis is Equivalent to the Generalized Maximization Principle. Journal of Symbolic Logic 36 (1):39-54.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. W. Gielen, H. de Swart & W. Veldman (1981). The Continuum Hypothesis in Intuitionism. Journal of Symbolic Logic 46 (1):121-136.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Joseph Glicksohn (2004). Absorption, Hallucinations, and the Continuum Hypothesis. Behavioral and Brain Sciences 27 (6):793-794.
    The target article, in stressing the balance between neurobiological and psychological factors, makes a compelling argument in support of a continuum of perceptual and hallucinatory experience. Nevertheless, two points need to be addressed. First, the authors are probably underestimating the incidence of hallucinations in the normal population. Second, one should consider the role of absorption as a predisposing factor for hallucinations.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Kurt Gödel (1940). The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Princeton University Press;.
  15. Kurt Gödel (1940). The Consistency of the Continuum Hypothesis. Princeton University Press.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  16. John Gregory (1976). Higher Souslin Trees and the Generalized Continuum Hypothesis. Journal of Symbolic Logic 41 (3):663-671.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Jaakko Hintikka, Continuum Hypothesis as a Model-Theoretical Problem.
    Jaakko Hintikka 1. How to Study Set Theory The continuum hypothesis (CH) is crucial in the core area of set theory, viz. in the theory of the hierarchies of infinite cardinal and infinite ordinal numbers. It is crucial in that it would, if true, help to relate the two hierarchies to each other. It says that the second infinite cardinal number, which is known to be the cardinality of the first uncountable ordinal, equals the cardinality 2 o of the continuum. (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  18. George C. Nelson (1998). Preservation Theorems Without Continuum Hypothesis. Studia Logica 60 (3):343-355.
    Many results concerning the equivalence between a syntactic form of formulas and a model theoretic conditions are proven directly without using any form of a continuum hypothesis. In particular, it is demonstrated that any reduced product sentence is equivalent to a Horn sentence. Moreover, in any first order language without equality one now has that a reduced product sentence is equivalent to a Horn sentence and any sentence is equivalent to a Boolean combination of Horn sentences.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Anne Newstead & Franklin James (2008). On the Reality of the Continuum. Philosophy 83 (01):117-28.
    In a recent article (‘The Continuum: Russell’s Moment of Candour’), 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. (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Richard A. Platek (1969). Eliminating the Continuum Hypothesis. Journal of Symbolic Logic 34 (2):219-225.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Rolf Schock (1977). A Note on the Axiom of Choice and the Continuum Hypothesis. Notre Dame Journal of Formal Logic 18 (3):409-414.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Rolf Schock (1966). A Simple Version of the Generalized Continuum Hypothesis. Notre Dame Journal of Formal Logic 7 (3):287-288.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Boleslaw Sobocinski (1963). A Note On The Generalized Continuum Hypothesis, Ii. Notre Dame Journal of Formal Logic 4 (1):67-79.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  24. Bolesław Sobociński (1963). A Note on the Generalized Continuum Hypothesis. III. Notre Dame Journal of Formal Logic 4 (3):233-240.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Bolesław Sobociński (1963). A Note on the Generalized Continuum Hypothesis. II. Notre Dame Journal of Formal Logic 4 (1):67-79.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. Bolesław Sobociński (1962). A Note on the Generalized Continuum Hypothesis. I. Notre Dame Journal of Formal Logic 3 (4):274-278.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. Thomas Weston (1976). Kreisel, the Continuum Hypothesis and Second Order Set Theory. Journal of Philosophical Logic 5 (2):281 - 298.
    The major point of contention among the philosophers and mathematicians who have written about the independence results for the continuum hypothesis (CH) and related questions in set theory has been the question of whether these results give reason to doubt that the independent statements have definite truth values. This paper concerns the views of G. Kreisel, who gives arguments based on second order logic that the CH does have a truth value. The view defended here is that although Kreisel's conclusion (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Thomas S. Weston (1977). The Continuum Hypothesis is Independent of Second-Order ZF. Notre Dame Journal of Formal Logic 18 (3):499-503.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
Large Cardinals
  1. Joan Bagaria (2002). Review: Saharon Shelah, Hugh Woodin, Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurable. [REVIEW] Bulletin of Symbolic Logic 8 (4):543-545.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. James E. Baumgartner, Alan D. Taylor & Stanley Wagon (1977). On Splitting Stationary Subsets of Large Cardinals. Journal of Symbolic Logic 42 (2):203-214.
    Let κ denote a regular uncountable cardinal and NS the normal ideal of nonstationary subsets of κ. Our results concern the well-known open question whether NS fails to be κ + -saturated, i.e., are there κ + stationary subsets of κ with pairwise intersections nonstationary? Our first observation is: Theorem. NS is κ + -saturated iff for every normal ideal J on κ there is a stationary set $A \subseteq \kappa$ such that $J = NS \mid A = \{X \subseteq (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Andrew D. Brooke-Taylor (2009). Large Cardinals and Definable Well-Orders on the Universe. Journal of Symbolic Logic 74 (2):641-654.
    We use a reverse Easton forcing iteration to obtain a universe with a definable well-order, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle ◊ $_{k^ - }^* $ at a proper class of cardinals k. By choosing the cardinals at which coding occurs sufficiently sparsely, we are able to lift the embeddings witnessing the large cardinal properties without having to meet any non-trivial master conditions.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. James W. Cummings (2000). Review: Ten Papers by Arthur Apter on Large Cardinals. [REVIEW] Bulletin of Symbolic Logic 6 (1):86 - 89.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Harvey Friedman, Applications of Large Cardinals to Borel Functions.
    The space CS(R) has a unique “Borel structure” in the following sense. Note that there is a natural mapping from R¥ onto CS(R}; namely, taking ranges. We can combine this with any Borel bijection from R onto R¥ in order to get a “preferred” surjection F:R ® CS(R).
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Harvey Friedman, Countable Model Theory and Large Cardinals.
    We can look at this model theoretically as follows. By the linearly ordered predicate calculus, we simply mean ordinary predicate calculus with equality and a special binary relation symbol <. It is required that in all interpretations, < be a linear ordering on the domain. Thus we have the usual completeness theorem provided we add the axioms that assert that < is a linear ordering.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Harvey Friedman, Extremely Large Cardinals in the Rationals.
    In 1995 we gave a new simple principle of combinatorial set theory and showed that it implies the existence of a nontrivial elementary embedding from a rank into itself, and follows from the existence of a nontrivial elementary embedding from V into M, where M contains the rank at the first fixed point above the critical point. We then gave a “diamondization” of this principle, and proved its relative consistency by means of a standard forcing argument.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Harvey Friedman, Finite Trees and the Necessary Use of Large Cardinals.
    We introduce insertion domains that support the placement of new, higher, vertices into finite trees. We prove that every nonincreasing insertion domain has an element with simple structural properties in the style of classical Ramsey theory. This result is proved using standard large cardinal axioms that go well beyond the usual axioms for mathematics. We also establish that this result cannot be proved without these large cardinal axioms. We also introduce insertion rules that specify the placement of new, higher, vertices (...)
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Harvey M. Friedman, Applications of Large Cardinals to Graph Theory.
    Since then we have been engaged in the development of such results of greater relevance to mathematical practice. In January, 1997 we presented some new results of this kind involving what we call “jump free” classes of finite functions. This Jump Free Theorem is treated in section 2.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Harvey M. Friedman, Concrete Incompleteness From Efa Through Large Cardinals.
    Normal mathematical culture is overwhelmingly concerned with finite structures, finitely generated structures, discrete structures (countably infinite), continuous and piecewise continuous functions between complete separable metric spaces, with lesser consideration of pointwise limits of sequences of such functions, and Borel measurable functions between complete separable metric spaces.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Gunter Fuchs (2009). Combined Maximality Principles Up to Large Cardinals. Journal of Symbolic Logic 74 (3):1015-1046.
    The motivation for this paper is the following: In [4] I showed that it is inconsistent with ZFC that the Maximality Principle for directed closed forcings holds at unboundedly many regular cardinals κ (even only allowing κ itself as a parameter in the Maximality Principle for < κ -closed forcings each time). So the question is whether it is consistent to have this principle at unboundedly many regular cardinals or at every regular cardinal below some large cardinal κ (instead of (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Ronald Jensen (1995). Inner Models and Large Cardinals. Bulletin of Symbolic Logic 1 (4):393-407.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. E. M. Kleinberg & R. A. Shore (1971). On Large Cardinals and Partition Relations. Journal of Symbolic Logic 36 (2):305-308.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Peter Koellner, Independence and Large Cardinals. Stanford Encyclopedia of Philosophy.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. Andy Lewis (1998). Large Cardinals and Large Dilators. Journal of Symbolic Logic 63 (4):1496-1510.
    Applying Woodin's non-stationary tower notion of forcing, I prove that the existence of a supercompact cardinal κ in V and a Ramsey dilator in some small forcing extension V[G] implies the existence in V of a measurable dilator of size κ, measurable by κ-complete measures.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 62