90 found
Order:
  1.  49
    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.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  6
    Identity Crises and Strong Compactness.Arthur W. Apter & James Cummings - 2001 - Archive for Mathematical Logic 40 (1):25-38.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3.  46
    Indestructibility and Level by Level Equivalence and Inequivalence.Arthur W. Apter - 2007 - Mathematical Logic Quarterly 53 (1):78-85.
    If κ < λ are such that κ is indestructibly supercompact and λ is 2λ supercompact, it is known from [4] that {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ violates level by level equivalence between strong compactness and supercompactness}must be unbounded in κ. On the other hand, using a variant of the argument used to establish this fact, it is possible to prove that if κ < λ are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  44
    Inner Models with Large Cardinal Features Usually Obtained by Forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
    We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2 κ = κ +, another for which 2 κ = κ ++ and another in which the least strongly compact cardinal is supercompact. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  19
    Identity Crises and Strong Compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
    Combining techniques of the first author and Shelah with ideas of Magidor, we show how to get a model in which, for fixed but arbitrary finite n, the first n strongly compact cardinals κ 1 ,..., κ n are so that κ i for i = 1,..., n is both the i th measurable cardinal and κ + i supercompact. This generalizes an unpublished theorem of Magidor and answers a question of Apter and Shelah.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  6.  14
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7.  6
    Patterns of Compact Cardinals.Arthur W. Apter - 1997 - Annals of Pure and Applied Logic 89 (2-3):101-115.
    We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V “ZFC + Ω is the least inaccessible limit of measurable limits of supercompact cardinals + ƒ : Ω → 2 is a function”, then there is a partial ordering P V so that for , There is a proper class of compact cardinals + If (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8.  10
    Indestructibility and Measurable Cardinals with Few and Many Measures.Arthur W. Apter - 2008 - Archive for Mathematical Logic 47 (2):101-110.
    If κ < λ are such that κ is indestructibly supercompact and λ is measurable, then we show that both A = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries the maximal number of normal measures} and B = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries fewer than the maximal number of normal measures} are unbounded (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  32
    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 (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  18
    Coding Into HOD Via Normal Measures with Some Applications.Arthur W. Apter & Shoshana Friedman - 2011 - Mathematical Logic Quarterly 57 (4):366-372.
    We develop a new method for coding sets while preserving GCH in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carried by a measurable cardinal as an oracle, and therefore, in order to code a subset A of κ, we require that our model contain κ many measurable cardinals above κ. Additionally we will describe some of the applications of this result. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  14
    Tallness and Level by Level Equivalence and Inequivalence.Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (1):4-12.
    We construct two models containing exactly one supercompact cardinal in which all non-supercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness holds. Each universe has only one strongly compact cardinal and contains relatively few large cardinals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  14
    Supercompactness and Level by Level Equivalence Are Compatible with Indestructibility for Strong Compactness.Arthur W. Apter - 2007 - Archive for Mathematical Logic 46 (3-4):155-163.
    It is known that if $\kappa < \lambda$ are such that κ is indestructibly supercompact and λ is 2λ supercompact, then level by level equivalence between strong compactness and supercompactness fails. We prove a theorem which points towards this result being best possible. Specifically, we show that relative to the existence of a supercompact cardinal, there is a model for level by level equivalence between strong compactness and supercompactness containing a supercompact cardinal κ in which κ’s strong compactness is indestructible (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  19
    Indestructibility and Stationary Reflection.Arthur W. Apter - 2009 - Mathematical Logic Quarterly 55 (3):228-236.
    If κ < λ are such that κ is a strong cardinal whose strongness is indestructible under κ -strategically closed forcing and λ is weakly compact, then we show thatA = {δ < κ | δ is a non-weakly compact Mahlo cardinal which reflects stationary sets}must be unbounded in κ. This phenomenon, however, need not occur in a universe with relatively few large cardinals. In particular, we show how to construct a model where no cardinal is supercompact up to a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  15
    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 κ indestructible under κ-directed closed forcing to give a new proof of the Kimchi-Magidor Theorem in which every compact cardinal in the universe (supercompact or strongly compact) 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  9
    Indestructible Strong Compactness and Level by Level Inequivalence.Arthur W. Apter - 2013 - Mathematical Logic Quarterly 59 (4-5):371-377.
  16.  17
    Failures of SCH and Level by Level Equivalence.Arthur W. Apter - 2006 - Archive for Mathematical Logic 45 (7):831-838.
    We construct a model for the level by level equivalence between strong compactness and supercompactness in which below the least supercompact cardinal κ, there is a stationary set of cardinals on which SCH fails. In this model, the structure of the class of supercompact cardinals can be arbitrary.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  24
    Indestructible Strong Compactness but Not Supercompactness.Arthur W. Apter, Moti Gitik & Grigor Sargsyan - 2012 - Annals of Pure and Applied Logic 163 (9):1237-1242.
  18.  6
    Failure of GCH and the Level by Level Equivalence Between Strong Compactness and Supercompactness.Arthur W. Apter - 2003 - Mathematical Logic Quarterly 49 (6):587.
    We force and obtain three models in which level by level equivalence between strong compactness and supercompactness holds and in which, below the least supercompact cardinal, GCH fails unboundedly often. In two of these models, GCH fails on a set having measure 1 with respect to certain canonical measures. There are no restrictions in all of our models on the structure of the class of supercompact cardinals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  3
    Normal Measures on a Tall Cardinal.Arthur W. Apter & James Cummings - 2019 - Journal of Symbolic Logic 84 (1):178-204.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    A Global Version of a Theorem of Ben-David and Magidor.Arthur W. Apter & James Cummings - 2000 - Annals of Pure and Applied Logic 102 (3):199-222.
    We prove a consistency result about square principles and stationary reflection which generalises the result of Ben-David and Magidor [4].
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  21
    Level by Level Inequivalence Beyond Measurability.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (7-8):707-712.
    We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  25
    An Equiconsistency for Universal Indestructibility.Arthur W. Apter & Grigor Sargsyan - 2010 - Journal of Symbolic Logic 75 (1):314-322.
    We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woodin cardinal. Stewart Baldwin's notion of hyperstrong cardinal. We also briefly indicate how our methods are applicable to universal indestructibility for supercompactness and strong compactness.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  7
    Some Remarks on Indestructibility and Hamkins' Lottery Preparation.Arthur W. Apter - 2003 - Archive for Mathematical Logic 42 (8):717-735.
  24.  12
    Supercompactness and Measurable Limits of Strong Cardinals II: Applications to Level by Level Equivalence.Arthur W. Apter - 2006 - Mathematical Logic Quarterly 52 (5):457-463.
    We construct models for the level by level equivalence between strong compactness and supercompactness in which for κ the least supercompact cardinal and δ ≤ κ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2δ > δ+ and δ is < 2δ supercompact. In these models, the structure of the class of supercompact cardinals can be arbitrary, and the size of the power set of κ can essentially be made as large as desired. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  17
    Identity Crises and Strong Compactness III: Woodin Cardinals. [REVIEW]Arthur W. Apter & Grigor Sargsyan - 2005 - Archive for Mathematical Logic 45 (3):307-322.
    We show that it is consistent, relative to n ∈ ω supercompact cardinals, for the strongly compact and measurable Woodin cardinals to coincide precisely. In particular, it is consistent for the first n strongly compact cardinals to be the first n measurable Woodin cardinals, with no cardinal above the n th strongly compact cardinal being measurable. In addition, we show that it is consistent, relative to a proper class of supercompact cardinals, for the strongly compact cardinals and the cardinals which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  9
    Some New Upper Bounds in Consistency Strength for Certain Choiceless Large Cardinal Patterns.Arthur W. Apter - 1992 - Archive for Mathematical Logic 31 (3):201-205.
    In this paper, we show that certain choiceless models of ZF originally constructed using an almost huge cardinal can be constructed using cardinals strictly weaker in consistency strength.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  17
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  10
    Some Results on Consecutive Large Cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.
    We obtain 2 models in which AC is false and in which there are long sequences of consecutive large cardinals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  23
    Making All Cardinals Almost Ramsey.Arthur W. Apter & Peter Koepke - 2008 - Archive for Mathematical Logic 47 (7-8):769-783.
    We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ${\neg {\rm AC}_\omega}$ in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  9
    The First Measurable Cardinal Can Be the First Uncountable Regular Cardinal at Any Successor Height.Arthur W. Apter, Ioanna M. Dimitriou & Peter Koepke - 2014 - Mathematical Logic Quarterly 60 (6):471-486.
  31.  30
    On Some Questions Concerning Strong Compactness.Arthur W. Apter - 2012 - Archive for Mathematical Logic 51 (7-8):819-829.
    A question of Woodin asks if κ is strongly compact and GCH holds below κ, then must GCH hold everywhere? One variant of this question asks if κ is strongly compact and GCH fails at every regular cardinal δ < κ, then must GCH fail at some regular cardinal δ ≥ κ? Another variant asks if it is possible for GCH to fail at every limit cardinal less than or equal to a strongly compact cardinal κ. We get a negative (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  7
    Reducing the Consistency Strength of an Indestructibility Theorem.Arthur W. Apter - 2008 - Mathematical Logic Quarterly 54 (3):288-293.
    Using an idea of Sargsyan, we show how to reduce the consistency strength of the assumptions employed to establish a theorem concerning a uniform level of indestructibility for both strong and supercompact cardinals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  6
    Strong Cardinals Can Be Fully Laver Indestructible.Arthur W. Apter - 2002 - Mathematical Logic Quarterly 48 (4):499-507.
    We prove three theorems which show that it is relatively consistent for any strong cardinal κ to be fully Laver indestructible under κ-directed closed forcing.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  5
    More on the Least Strongly Compact Cardinal.Arthur W. Apter - 1997 - Mathematical Logic Quarterly 43 (3):427-430.
    We show that it is consistent, relative to a supercompact limit of supercompact cardinals, for the least strongly compact cardinal k to be both the least measurable cardinal and to be > 2k supercompact.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  15
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  10
    The Consistency Strength of $$\Aleph{\Omega}$$ and $$\Aleph_{{\Omega}1}$$ Being Rowbottom Cardinals Without the Axiom of Choice.Arthur W. Apter & Peter Koepke - 2006 - Archive for Mathematical Logic 45 (6):721-737.
    We show that for all natural numbers n, the theory “ZF + DC $_{\aleph_n}$ + $\aleph_{\omega}$ is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + $\aleph_{\omega_1}$ is an ω 2-Rowbottom cardinal carrying an ω 2-Rowbottom filter and ω 1 is regular” has the same consistency strength as the theory “ZFC + There exist ω 1 measurable cardinals”. We (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  19
    Diamond, Square, and Level by Level Equivalence.Arthur W. Apter - 2004 - Archive for Mathematical Logic 44 (3):387-395.
    We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional combinatorial properties. In particular, in this model, ♦ δ holds for every regular uncountable cardinal δ, and below the least supercompact cardinal κ, □ δ holds on a stationary subset of κ. There are no restrictions in our model on the structure of the class of supercompact cardinals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  12
    The Least Strongly Compact Can Be the Least Strong and Indestructible.Arthur W. Apter - 2006 - Annals of Pure and Applied Logic 144 (1):33-42.
    We construct two models in which the least strongly compact cardinal κ is also the least strong cardinal. In each of these models, κ satisfies indestructibility properties for both its strong compactness and strongness.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  16
    An Easton Theorem for Level by Level Equivalence.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (3):247-253.
    We establish an Easton theorem for the least supercompact cardinal that is consistent with the level by level equivalence between strong compactness and supercompactness. In both our ground model and the model witnessing the conclusions of our theorem, there are no restrictions on the structure of the class of supercompact cardinals. We also briefly indicate how our methods of proof yield an Easton theorem that is consistent with the level by level equivalence between strong compactness and supercompactness in a universe (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  24
    Indestructibility, HOD, and the Ground Axiom.Arthur W. Apter - 2011 - Mathematical Logic Quarterly 57 (3):261-265.
    Let φ1 stand for the statement V = HOD and φ2 stand for the Ground Axiom. Suppose Ti for i = 1, …, 4 are the theories “ZFC + φ1 + φ2,” “ZFC + ¬φ1 + φ2,” “ZFC + φ1 + ¬φ2,” and “ZFC + ¬φ1 + ¬φ2” respectively. We show that if κ is indestructibly supercompact and λ > κ is inaccessible, then for i = 1, …, 4, Ai = df{δ κ is inaccessible. We show it is also (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  19
    Ad and Patterns of Singular Cardinals Below Θ.Arthur W. Apter - 1996 - Journal of Symbolic Logic 61 (1):225-235.
    Using Steel's recent result that assuming AD, in L[R] below Θ, κ is regular $\operatorname{iff} \kappa$ is measurable, we mimic below Θ certain earlier results of Gitik. In particular, we construct via forcing a model in which all uncountable cardinals below Θ are singular and a model in which the only regular uncountable cardinal below Θ is ℵ 1.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  10
    Removing Laver Functions From Supercompactness Arguments.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (2):154.
    We show how the use of a Laver function in the proof of the consistency, relative to the existence of a supercompact cardinal, of both the Proper Forcing Axiom and the Semiproper Forcing Axiom can be eliminated via the use of lottery sums of the appropriate partial orderings.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  25
    Indestructibility, Instances of Strong Compactness, and Level by Level Inequivalence.Arthur W. Apter - 2010 - Archive for Mathematical Logic 49 (7-8):725-741.
    Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ < κ | δ is measurable, yet δ is neither δ + strongly compact nor a limit of measurable cardinals} must be unbounded in κ. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two models in which ${A = \emptyset}$ . The first of these contains a supercompact cardinal κ and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  17
    Indestructibility Under Adding Cohen Subsets and Level by Level Equivalence.Arthur W. Apter - 2009 - Mathematical Logic Quarterly 55 (3):271-279.
    We construct a model for the level by level equivalence between strong compactness and supercompactness in which the least supercompact cardinal κ has its strong compactness indestructible under adding arbitrarily many Cohen subsets. There are no restrictions on the large cardinal structure of our model.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  7
    Characterizing Strong Compactness Via Strongness.Arthur W. Apter - 2003 - Mathematical Logic Quarterly 49 (4):375.
    We construct a model in which the strongly compact cardinals can be non-trivially characterized via the statement “κ is strongly compact iff κ is a measurable limit of strong cardinals”. If our ground model contains large enough cardinals, there will be supercompact cardinals in the universe containing this characterization of the strongly compact cardinals.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  12
    A New Proof of a Theorem of Magidor.Arthur W. Apter - 2000 - Archive for Mathematical Logic 39 (3):209-211.
    We give a new proof using iterated Prikry forcing of Magidor's theorem that it is consistent to assume that the least strongly compact cardinal is the least supercompact cardinal.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  1
    [Omnibus Review].Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
  48.  4
    On a Problem of Woodin.Arthur W. Apter - 2000 - Archive for Mathematical Logic 39 (4):253-259.
    A question of Woodin asks if $\kappa$ is strongly compact and GCH holds for all cardinals $\delta < \kappa$ , then must GCH hold everywhere. We get a negative answer to Woodin's question in the context of the negation of the Axiom of Choice.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  12
    An L-Like Model Containing Very Large Cardinals.Arthur W. Apter & James Cummings - 2008 - Archive for Mathematical Logic 47 (1):65-78.
    We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with a strong form of diamond and a version of square consistent with supercompactness. This generalises a result due to the first author. There are no restrictions in our model on the structure of the class of supercompact cardinals.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  9
    Universal Indestructibility for Degrees of Supercompactness and Strongly Compact Cardinals.Arthur W. Apter & Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (2):133-142.
    We establish two theorems concerning strongly compact cardinals and universal indestructibility for degrees of supercompactness. In the first theorem, we show that universal indestructibility for degrees of supercompactness in the presence of a strongly compact cardinal is consistent with the existence of a proper class of measurable cardinals. In the second theorem, we show that universal indestructibility for degrees of supercompactness is consistent in the presence of two non-supercompact strongly compact cardinals, each of which exhibits a significant amount of indestructibility (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 90