This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related

Contents
72 found
Order:
1 — 50 / 72
  1. Are Large Cardinal Axioms Restrictive?Neil Barton - manuscript
    The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal axioms are restrictive. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Is (un)countabilism restrictive?Neil Barton - manuscript
    Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Countabilism and Maximality Principles.Neil Barton & Sy-David Friedman - manuscript
    It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Modality and Hyperintensionality in Mathematics.David Elohim - manuscript
    This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Large cardinals at the brink.W. Hugh Woodin - 2024 - Annals of Pure and Applied Logic 175 (1):103328.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. The second-order version of Morley’s theorem on the number of countable models does not require large cardinals.Franklin D. Tall & Jing Zhang - 2024 - Archive for Mathematical Logic 63 (3):483-490.
    The consistency of a second-order version of Morley’s Theorem on the number of countable models was proved in [EHMT23] with the aid of large cardinals. We here dispense with them.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. More on the Preservation of Large Cardinals Under Class Forcing.Joan Bagaria & Alejandro Poveda - 2023 - Journal of Symbolic Logic 88 (1):290-323.
    We prove two general results about the preservation of extendible and $C^{(n)}$ -extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vopěnka’s Principle and $C^{(n)}$ -extendible cardinals under Jensen’s iteration for forcing the GCH [17], previously obtained in [8, 27], respectively. We prove that $C^{(n)}$ -extendible cardinals are preserved by forcing with standard Easton-support iterations for any possible $\Delta _2$ -definable behaviour of the power-set function on (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Simultaneously vanishing higher derived limits without large cardinals.Jeffrey Bergfalk, Michael Hrušák & Chris Lambie-Hanson - 2022 - Journal of Mathematical Logic 23 (1).
    A question dating to Mardešić and Prasolov’s 1988 work [S. Mardešić and A. V. Prasolov, Strong homology is not additive, Trans. Amer. Math. Soc. 307(2) (1988) 725–744], and motivating a considerable amount of set theoretic work in the years since, is that of whether it is consistent with the ZFC axioms for the higher derived limits [Formula: see text] [Formula: see text] of a certain inverse system [Formula: see text] indexed by [Formula: see text] to simultaneously vanish. An equivalent formulation (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Choiceless large cardinals and set‐theoretic potentialism.Raffaella Cutolo & Joel David Hamkins - 2022 - Mathematical Logic Quarterly 68 (4):409-415.
    We define a potentialist system of ‐structures, i.e., a collection of possible worlds in the language of connected by a binary accessibility relation, achieving a potentialist account of the full background set‐theoretic universe V. The definition involves Berkeley cardinals, the strongest known large cardinal axioms, inconsistent with the Axiom of Choice. In fact, as background theory we assume just. It turns out that the propositional modal assertions which are valid at every world of our system are exactly those in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Measurable Selections: A Bridge Between Large Cardinals and Scientific Applications?†.John P. Burgess - 2021 - Philosophia Mathematica 29 (3):353-365.
    There is no prospect of discovering measurable cardinals by radio astronomy, but this does not mean that higher set theory is entirely irrelevant to applied mathematics broadly construed. By way of example, the bearing of some celebrated descriptive-set-theoretic consequences of large cardinals on measurable-selection theory, a body of results originating with a key lemma in von Neumann’s work on the mathematical foundations of quantum theory, and further developed in connection with problems of mathematical economics, will be considered from a philosophical (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. Overgeneration in the higher infinite.Salvatore Florio & Luca Incurvati - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press.
    The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. TRES TEOREMAS SOBRE CARDINALES MEDIBLES.Franklin Galindo - 2021 - Mixba'al. Revista Metropolitana de Matemáticas 12 (1):15-31.
    El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de tales cardinales, por ejemplo cardinales inaccesibles, débilmente compactos, Ramsey, medibles, supercompactos, etc. Tres valiosos teoremas clásicos sobre cardinales medibles son los siguientes: (i) compacidad débil, (ii) Si κ es un cardinal medible, entonces κ es un cardinal inaccesible y existen κ cardinales (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Overgeneration in the higher infinite.Luca Incurvarti & Salvatore Florio - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press.
    The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Contributions to the Theory of Large Cardinals through the Method of Forcing.Alejandro Poveda - 2021 - Bulletin of Symbolic Logic 27 (2):221-222.
    The dissertation under comment is a contribution to the area of Set Theory concerned with the interactions between the method of Forcing and the so-called Large Cardinal axioms.The dissertation is divided into two thematic blocks. In Block I we analyze the large-cardinal hierarchy between the first supercompact cardinal and Vopěnka’s Principle. In turn, Block II is devoted to the investigation of some problems arising from Singular Cardinal Combinatorics.We commence Part I by investigating the Identity Crisis phenomenon in the region comprised (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
    In set theory, a maximality principle is a principle that asserts some maximality property of the universe of sets or some part thereof. Set theorists have formulated a variety of maximality principles in order to settle statements left undecided by current standard set theory. In addition, philosophers of mathematics have explored maximality principles whilst attempting to prove categoricity theorems for set theory or providing criteria for selecting foundational theories. This article reviews recent work concerned with the formulation, investigation and justification (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17. A Strong Reflection Principle.Sam Roberts - 2017 - Review of Symbolic Logic 10 (4):651-662.
    This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  18. Global Reflection Principles.P. D. Welch - 2017 - In I. Niiniluoto, H. Leitgeb, P. Seppälä & E. Sober (eds.), Logic, Methodology and Philosophy of Science - Proceedings of the 15th International Congress, 2015. College Publications.
    Reflection Principles are commonly thought to produce only strong axioms of infinity consistent with V = L. It would be desirable to have some notion of strong reflection to remedy this, and we have proposed Global Reflection Principles based on a somewhat Cantorian view of the universe. Such principles justify the kind of cardinals needed for, inter alia , Woodin’s Ω-Logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  19. Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.
    A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Laver’s results and low-dimensional topology.Patrick Dehornoy - 2016 - Archive for Mathematical Logic 55 (1-2):49-83.
    In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimen\-sional topology, namely the existence of what is now known as the Laver tables and the well-foundedness of the standard ordering of positive braids. Here we present these results and discuss the way they could be used in topological applications.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21. Restrictiveness relative to notions of interpretation.Luca Incurvati & Benedikt Löwe - 2016 - Review of Symbolic Logic 9 (2): 238-250.
    Maddy gave a semi-formal account of restrictiveness by defining a formal notion based on a class of interpretations and explaining how to handle false positives and false negatives. Recently, Hamkins pointed out some structural issues with Maddy's definition. We look at Maddy's formal definitions from the point of view of an abstract interpretation relation. We consider various candidates for this interpretation relation, including one that is close to Maddy's original notion, but fixes the issues raised by Hamkins. Our work brings (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  22. Is the Dream Solution of the Continuum Hypothesis Attainable?Joel David Hamkins - 2015 - Notre Dame Journal of Formal Logic 56 (1):135-145.
    The dream solution of the continuum hypothesis would be a solution by which we settle the continuum hypothesis on the basis of a newly discovered fundamental principle of set theory, a missing axiom, widely regarded as true. Such a dream solution would indeed be a solution, since we would all accept the new axiom along with its consequences. In this article, however, I argue that such a dream solution to $\mathrm {CH}$ is unattainable.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  23. Large Cardinals, Inner Models, and Determinacy: An Introductory Overview.P. D. Welch - 2015 - Notre Dame Journal of Formal Logic 56 (1):213-242.
    The interaction between large cardinals, determinacy of two-person perfect information games, and inner model theory has been a singularly powerful driving force in modern set theory during the last three decades. For the outsider the intellectual excitement is often tempered by the somewhat daunting technicalities, and the seeming length of study needed to understand the flow of ideas. The purpose of this article is to try and give a short, albeit rather rough, guide to the broad lines of development.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. All Things Must Pass Away.Joshua Spencer - 2012 - Oxford Studies in Metaphysics 7:67.
    Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  25. Independence and large cardinals.Peter Koellner - 2010 - Stanford Encyclopedia of Philosophy.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  26. On the question of absolute undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic. pp. 153-188.
    The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  27. Large cardinals and definable well-orders on the universe.Andrew D. Brooke-Taylor - 2009 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  28. Combined Maximality Principles up to large cardinals.Gunter Fuchs - 2009 - 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)  
     
    Export citation  
     
    Bookmark   5 citations  
  29. Stacking mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
    We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal k ≥ N₃ such that □k and □(k) fail. 2) There is a cardinal k such that k is weakly compact in the generic extension by Col(k, k⁺). Of special interest is 1) with k = N₃ since it follows from PFA by theorems of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  30. On the Reality of the Continuum Discussion Note: A Reply to Ormell, ‘Russell's Moment of Candour’, Philosophy.Anne Newstead - 2008 - Philosophy 83 (1):117-127.
    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 (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. The PCF Conjecture and Large Cardinals.Luís Pereira - 2008 - Journal of Symbolic Logic 73 (2):674 - 688.
    We prove that a combinatorial consequence of the negation of the PCF conjecture for intervals, involving free subsets relative to set mappings, is not implied by even the strongest known large cardinal axiom.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32. On the Consistency of ZF Set Theory and Its Large Cardinal Extensions.Luca Bellotti - 2006 - Epistemologia 29 (1):41-60.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  33. Counterexamples to the Unique and Cofinal Branches Hypotheses.Itay Neeman & John Steel - 2006 - Journal of Symbolic Logic 71 (3):977 - 988.
    We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Philosophical Perspectives on Infinity.Graham Oppy - 2006 - New York: Cambridge University Press.
    This book is an exploration of philosophical questions about infinity. Graham Oppy examines how the infinite lurks everywhere, both in science and in our ordinary thoughts about the world. He also analyses the many puzzles and paradoxes that follow in the train of the infinite. Even simple notions, such as counting, adding and maximising present serious difficulties. Other topics examined include the nature of space and time, infinities in physical science, infinities in theories of probability and decision, the nature of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  35. Two Mereological Arguments Against the Possibility of an Omniscient Being.Joshua T. Spencer - 2006 - Philo 9 (1):62-72.
    In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a problem (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Distinct Iterable Branches.John R. Steel - 2005 - Journal of Symbolic Logic 70 (4):1127 - 1136.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  37. A Universal Extender Model Without Large Cardinals In V.William Mitchell & Ralf Schindler - 2004 - Journal of Symbolic Logic 69 (2):371-386.
    We construct, assuming that there is no inner model with a Woodin cardinal but without any large cardinal assumption, a model Kc which is iterable for set length iterations, which is universal with respect to all weasels with which it can be compared, and is universal with respect to set sized premice.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Exactly controlling the non-supercompact strongly compact cardinals.Arthur W. Apter & Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):669-688.
    We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve and (...)
    Remove from this list   Direct download (12 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  39. Indestructibility and the level-by-level agreement between strong compactness and supercompactness.Arthur W. Apter & Joel David Hamkins - 2002 - Journal of Symbolic Logic 67 (2):820-840.
    Can a supercompact cardinal κ be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above κ, then no, it cannot. Conversely, if one weakens the requirement either by demanding less indestructibility, such as requiring only indestructibility by stratified posets, or less level-by-level agreement, such as requiring it only on measure one sets, then yes, it can.
    Remove from this list   Direct download (13 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  40. Review: Saharon Shelah, Hugh Woodin, Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurable. [REVIEW]Joan Bagaria - 2002 - Bulletin of Symbolic Logic 8 (4):543-545.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Inaccessible set axioms may have little consistency strength.L. Crosilla & M. Rathjen - 2002 - Annals of Pure and Applied Logic 115 (1-3):33-70.
    The paper investigates inaccessible set axioms and their consistency strength in constructive set theory. In ZFC inaccessible sets are of the form Vκ where κ is a strongly inaccessible cardinal and Vκ denotes the κth level of the von Neumann hierarchy. Inaccessible sets figure prominently in category theory as Grothendieck universes and are related to universes in type theory. The objective of this paper is to show that the consistency strength of inaccessible set axioms heavily depend on the context in (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  42. Supercompactness and Measurable Limits of Strong Cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (2):629-639.
    In this paper, two theorems concerning measurable limits of strong cardinals and supercompactness are proven. This generalizes earlier work, both individual and joint with Shelah.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Some structural results concerning supercompact cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
    We show how the forcing of [5] can be iterated so as to get a model containing supercompact cardinals in which every measurable cardinal δ is δ + supercompact. We then apply this iteration to prove three additional theorems concerning the structure of the class of supercompact cardinals.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44. The abc's of mice.Ernest Schimmerling - 2001 - Bulletin of Symbolic Logic 7 (4):485-503.
  45. Review: Ten Papers by Arthur Apter on Large Cardinals. [REVIEW]James W. Cummings - 2000 - Bulletin of Symbolic Logic 6 (1):86 - 89.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46. On the Consistency Strength of Two Choiceless Cardinal Patterns.Arthur W. Apter - 1999 - Notre Dame Journal of Formal Logic 40 (3):341-345.
    Using work of Devlin and Schindler in conjunction with work on Prikry forcing in a choiceless context done by the author, we show that two choiceless cardinal patterns have consistency strength of at least one Woodin cardinal.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47. On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
    We extend earlier work (both individual and joint with Shelah) and prove three theorems about the class of measurable limits of compact cardinals, where a compact cardinal is one which is either strongly compact or supercompact. In particular, we construct two models in which every measurable limit of compact cardinals below the least supercompact limit of supercompact cardinals possesses non-trivial degrees of supercompactness. In one of these models, every measurable limit of compact cardinals is a limit of supercompact cardinals and (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  48. Does mathematics need new axioms.Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel - 1999 - Bulletin of Symbolic Logic 6 (4):401-446.
    Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and there (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   79 citations  
  49. Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.
    Using an idea developed in joint work with Shelah, we show how to redefine Laver's notion of forcing making a supercompact cardinal $\kappa$ indestructible under $\kappa$-directed closed forcing to give a new proof of the Kimchi-Magidor Theorem in which every compact cardinal in the universe satisfies certain indestructibility properties. Specifically, we show that if K is the class of supercompact cardinals in the ground model, then it is possible to force and construct a generic extension in which the only strongly (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  50. The least measurable can be strongly compact and indestructible.Arthur W. Apter & Moti Gitik - 1998 - Journal of Symbolic Logic 63 (4):1404-1412.
    We show the consistency, relative to a supercompact cardinal, of the least measurable cardinal being both strongly compact and fully Laver indestructible. We also show the consistency, relative to a supercompact cardinal, of the least strongly compact cardinal being somewhat supercompact yet not completely supercompact and having both its strong compactness and degree of supercompactness fully Laver indestructible.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
1 — 50 / 72