Difference between revisions of "Library"

From Cantor's Attic
Jump to: navigation, search
m (Fixed broken source)
(Dimopoulos, Stamatis. Woodin for strong compactness cardinals)
 
(32 intermediate revisions by 3 users not shown)
Line 32: Line 32:
 
}
 
}
  
#BagariaCasacubertaMathiasRosicky2012:OrthogonalityClasses bibtex=@unpublished {BagariaCasacubertaMathiasRosicky2012:OrthogonalityClasses,
+
#Baaz2011:Kurt bibtex=@book{Baaz2011:Kurt,
AUTHOR = {Bagaria, Joan and Casacuberta, Carles and Mathias, A. R. D. and Rosicky, Jirí},
+
  title={Kurt Gödel and the Foundations of Mathematics: Horizons of Truth},
 +
  author={Baaz, M. and Papadimitriou, C.H. and Putnam, H.W. and Scott, D.S. and Harper, C.L.},
 +
  isbn={9781139498432},
 +
  url={https://books.google.pl/books?id=Tg0WXU5\_8EgC},
 +
  year={2011},
 +
  publisher={Cambridge University Press}
 +
}
 +
 
 +
#BagariaCasacubertaMathiasRosicky2012:OrthogonalityClasses bibtex=@article{BagariaCasacubertaMathiasRosicky2012:OrthogonalityClasses,
 +
AUTHOR = {Bagaria, Joan and Casacuberta, Carles and Mathias, A. R. D. and Rosický, Jiří},
 
TITLE = "Definable orthogonality classes in accessible categories are small",
 
TITLE = "Definable orthogonality classes in accessible categories are small",
NOTE = "submitted for publication",
+
journal = {Journal of the European Mathematical Society},
         url = {http://arxiv.org/abs/1101.2792}
+
        volume = {17},
 +
        number = {3},
 +
        pages = {549--589},
 +
         eprint = {1101.2792}
 
}
 
}
  
 
#BagariaHamkinsTsaprounisUsuba:SuperstrongAndOtherLargeCardinalsAreNeverLaverIndestructible bibtex=@article{BagariaHamkinsTsaprounisUsuba:SuperstrongAndOtherLargeCardinalsAreNeverLaverIndestructible,
 
#BagariaHamkinsTsaprounisUsuba:SuperstrongAndOtherLargeCardinalsAreNeverLaverIndestructible bibtex=@article{BagariaHamkinsTsaprounisUsuba:SuperstrongAndOtherLargeCardinalsAreNeverLaverIndestructible,
 
   author =      {Bagaria, Joan and Hamkins, Joel David and Tsaprounis, Konstantinos and Usuba, Toshimichi},
 
   author =      {Bagaria, Joan and Hamkins, Joel David and Tsaprounis, Konstantinos and Usuba, Toshimichi},
   title =        {Superstrong and other large cardinals are never {Laver} indestructible},
+
   title =        {Superstrong and other large cardinals are never Laver indestructible},
 
   eprint =      {1307.3486},
 
   eprint =      {1307.3486},
   url =          {http://jdh.hamkins.org/superstrong-never-indestructible/}
+
  year =        {2013},
 +
  journal =      {Archive for Mathematical Logic},
 +
  volume =      {55},
 +
  number =      {1-2},
 +
  pages =        {19--35},
 +
   url =          {http://jdh.hamkins.org/superstrong-never-indestructible/},
 +
  doi =          {10.1007/s00153-015-0458-3}
 +
}
 +
 
 +
#Bagaria2017:LargeCardinalsBeyondChoice bibtex=@article{Bagaria2017:LargeCardinalsBeyondChoice,
 +
  author =      {Bagaria, Joan},
 +
  title =        {Large Cardinals beyond Choice},
 +
  year =        {2017},
 +
  url =          {https://events.math.unipd.it/aila2017/sites/default/files/BAGARIA.pdf}
 
}
 
}
  
Line 69: Line 94:
 
       url = {http://www.math.lsa.umich.edu/~ablass/hbk.pdf},
 
       url = {http://www.math.lsa.umich.edu/~ablass/hbk.pdf},
 
}
 
}
 +
 +
#Blass1976:ExactFunctors bibtex=@article{Blass1976:ExactFunctors,
 +
author = "Blass, Andreas",
 +
fjournal = "Pacific Journal of Mathematics",
 +
journal = "Pacific J. Math.",
 +
number = "2",
 +
pages = "335--346",
 +
publisher = "Pacific Journal of Mathematics, A Non-profit Corporation",
 +
title = "Exact functors and measurable cardinals.",
 +
url = "https://projecteuclid.org:443/euclid.pjm/1102867389",
 +
volume = "63",
 +
year = "1976"
 +
}
 +
  
 
#Boney2017:ModelTheoreticCharacterizations bibtex=@article{BBoney2017:ModelTheoreticCharacterizations,
 
#Boney2017:ModelTheoreticCharacterizations bibtex=@article{BBoney2017:ModelTheoreticCharacterizations,
Line 74: Line 113:
 
     title = {Model Theoretic Characterizations of Large Cardinals},\
 
     title = {Model Theoretic Characterizations of Large Cardinals},\
 
     year = {2017},
 
     year = {2017},
      url = {https://arxiv.org/pdf/1708.07561.pdf},
+
  eprint = {1708.07561},
 
}
 
}
 
    
 
    
Line 87: Line 126:
 
     isbn = {978-0-486-60045-1},
 
     isbn = {978-0-486-60045-1},
 
       url = {http://www.archive.org/details/contributionstot003626mbp},
 
       url = {http://www.archive.org/details/contributionstot003626mbp},
 +
}
 +
 +
#Carmody2015:ForceToChangeLargeCardinalStrength bibtex=@article{Carmody2015:ForceToChangeLargeCardinalStrength,
 +
  author = {Carmody, Erin Kathryn},   
 +
    title = {Force to change large cardinal strength}, 
 +
    year = {2015}, 
 +
  eprint = {1506.03432},
 +
      url = {https://academicworks.cuny.edu/gc_etds/879/}
 +
}
 +
 +
#CarmodyGitmanHabic2016:Mitchelllike bibtex=@article{CarmodyGitmanHabic2016:Mitchelllike,
 +
  author = {Carmody, Erin and Gitman, Victoria and Habič, Miha E.},   
 +
    title = {A Mitchell-like order for Ramsey and Ramsey-like cardinals}, 
 +
    year = {2016}, 
 +
  eprint = {1609.07645},
 
}
 
}
  
Line 93: Line 147:
 
     title = {The Least Weakly Compact Cardinal Can Be Unfoldable, Weakly Measurable and Nearly θ-Supercompact},   
 
     title = {The Least Weakly Compact Cardinal Can Be Unfoldable, Weakly Measurable and Nearly θ-Supercompact},   
 
     year = {2013},   
 
     year = {2013},   
      url = {https://arxiv.org/pdf/1305.5961.pdf},
+
  eprint = {1305.5961},
 
}
 
}
  
 
#CodyGitman:EastonTheoremRamsey bibtex=@ARTICLE{CodyGitman:EastonTheoremRamsey,
 
#CodyGitman:EastonTheoremRamsey bibtex=@ARTICLE{CodyGitman:EastonTheoremRamsey,
 +
title = "Easton's theorem for Ramsey and strongly Ramsey cardinals",
 +
journal = "Annals of Pure and Applied Logic",
 +
volume = "166",
 +
number = "9",
 +
pages = "934 - 952",
 +
year = "2015",
 +
issn = "0168-0072",
 +
doi = "10.1016/j.apal.2015.04.006",
 +
url={https://victoriagitman.github.io/files/eastonramsey.pdf},
 
AUTHOR= {Cody, Brent and Gitman, Victoria},
 
AUTHOR= {Cody, Brent and Gitman, Victoria},
TITLE= {Easton's theorem for Ramsey and strongly Ramsey cardinals},
+
}
NOTE= {In preparation}}
+
  
 
#Corazza2000:WholenessAxiomAndLaverSequences bibtex  =@article{CorazzaAPAL,
 
#Corazza2000:WholenessAxiomAndLaverSequences bibtex  =@article{CorazzaAPAL,
Line 125: Line 187:
 
       DOI = {10.4064/fm179-1-4},
 
       DOI = {10.4064/fm179-1-4},
 
       URL = {http://dx.doi.org/10.4064/fm179-1-4},
 
       URL = {http://dx.doi.org/10.4064/fm179-1-4},
 +
}
 +
 +
#Corazza2010:TheAxiomOfInfinityAndJVV bibtex=@ARTICLE{Corazza2010:TheAxiomOfInfinityAndJVV,
 +
    AUTHOR = {Corazza, Paul},
 +
    TITLE = {The Axiom of Infinity and transformations $j: V \to V$},
 +
  JOURNAL = {Bulletin of Symbolic Logic},
 +
    VOLUME = {16},
 +
      YEAR = {2010},
 +
    NUMBER = {1},
 +
    PAGES = {37--84},
 +
      DOI = {10.2178/bsl/1264433797},
 +
      URL = {https://www.math.ucla.edu/~asl/bsl/1601/1601-002.ps},
 +
}
 +
 +
#Dimonte2017:I0AndRankIntoRankAxioms bibtex=@article {Dimonte2017:I0AndRankIntoRankAxioms,
 +
    AUTHOR = {Dimonte, Vincenzo},
 +
    TITLE = {I0 and rank-into-rank axioms},
 +
      YEAR = {2017},
 +
    EPRINT = {1707.02613}
 +
}
 +
 +
#Dimopoulos2019:WoodinForStrongCompactness bibtex=@article {Dimopoulos2019:WoodinForStrongCompactness,
 +
title={Woodin for strong compactness cardinals},
 +
volume={84},
 +
DOI={10.1017/jsl.2018.67},
 +
number={1},
 +
journal={The Journal of Symbolic Logic},
 +
publisher={Cambridge University Press},
 +
author={Dimopoulos, Stamatis},
 +
year={2019},
 +
pages={301–319},
 +
eprint={1710.05743}
 
}
 
}
  
Line 143: Line 237:
 
       DOI = {10.1016/0003-4843(81)90011-5},
 
       DOI = {10.1016/0003-4843(81)90011-5},
 
       URL = {http://dx.doi.org/10.1016/0003-4843(81)90011-5},
 
       URL = {http://dx.doi.org/10.1016/0003-4843(81)90011-5},
 +
}
 +
 +
#DonderKoepke1998:AccessibleJonsson bibtex=@article{DonderKoepke1983:AccessibleJonsson,
 +
author = {Donder, Hans-Dieter and Koepke, Peter},
 +
title = {On the Consistency Strength of 'Accessible' Jónsson Cardinals and of the Weak Chang Conjecture},
 +
journal = {Annals of Pure and Applied Logic},
 +
year = {1998},
 +
doi = {10.1016/0168-0072(83)90020-9},
 +
url={https://ac.els-cdn.com/0168007283900209/1-s2.0-0168007283900209-main.pdf?_tid=466bc36a-c95e-11e7-bf33-00000aab0f27&acdnat=1510679420_e0c0ac48663b05db4a42ead08262d38f},
 +
}
 +
 +
#DonderLevinski1989:PrinciplesRelatedChangsConjecture bibtex=@article{DonderLevinski1989:PrinciplesRelatedChangsConjecture,
 +
author = {Donder, Hans-Dieter and Levinski, Jean-Pierre},
 +
title = {Some principles related to Chang's conjecture},
 +
journal = {Annals of Pure and Applied Logic},
 +
year = {1989},
 +
doi = {10.1016/0168-0072(89)90030-4},
 +
url={https://ac.els-cdn.com/0168007289900304/1-s2.0-0168007289900304-main.pdf?_tid=2f5a4ffe-e130-11e7-9794-00000aacb361&acdnat=1513298453_24fe48742f365da91523f1174bb74117}
 +
 +
#Drake1974:SetTheory bibtex=@book{Drake1974:SetTheory,
 +
  TITLE = {Set Theory: An Introduction to Large Cardinals},
 +
  AUTHOR = {Drake, Frank},
 +
  PUBLISHER = {North-Holland Pub. Co.},
 +
  ISBN = {0444105352, 9780444105356},
 +
  YEAR = {1974},
 +
  SERIES = {Studies in Logic and the Foundations of Mathematics, Volume 76}
 
}
 
}
 
 
Line 173: Line 293:
 
   MRNUMBER = {0095124 (20 \#1630)},
 
   MRNUMBER = {0095124 (20 \#1630)},
 
MRREVIEWER = {L. Gillman},
 
MRREVIEWER = {L. Gillman},
 +
}
 +
 +
#EskrewHayut2016:LocalGlobalChangsConjecture bibtex=@article{EskrewHayut2016:LocalGlobalChangsConjecture,
 +
  author =      {Eskrew, Monroe and Hayut, Yair},
 +
  title =        {On the consistency of local and global versions of Chang's Conjecture},
 +
  year =        {2016},
 +
  eprint = {1607.04904v4},
 
}
 
}
  
Line 247: Line 374:
 
   keywords =    {},
 
   keywords =    {},
 
   source =      {},
 
   source =      {},
 +
}
 +
 +
#Feng1990:HierarchyRamsey bibtex=@article{Feng1990:HierarchyRamsey,
 +
title = "A hierarchy of Ramsey cardinals",
 +
journal = "Annals of Pure and Applied Logic",
 +
volume = "49",
 +
number = "3",
 +
pages = "257 - 277",
 +
year = "1990",
 +
issn = "0168-0072",
 +
doi = "10.1016/0168-0072(90)90028-Z",
 +
author = "Feng, Qi",
 
}
 
}
  
Line 271: Line 410:
 
   NUMBER = {4},
 
   NUMBER = {4},
 
     PAGES = {1401--1418}
 
     PAGES = {1401--1418}
 +
}
 +
 +
#Friedman1998:Subtle bibtex=@article{Friedman1998:Subtle,
 +
  AUTHOR = {Friedman, Harvey M.},
 +
    TITLE = {Subtle cardinals and linear orderings},
 +
    YEAR = {1998},
 +
      URL = {https://u.osu.edu/friedman.8/files/2014/01/subtlecardinals-1tod0i8.pdf}
 +
}
 +
 +
#FuchsHamkinsReitz2015:SetTheoreticGeology bibtex=@article{FuchsHamkinsReitz2015:SetTheoreticGeology
 +
title = "Set-theoretic geology",
 +
journal = "Annals of Pure and Applied Logic",
 +
volume = "166",
 +
number = "4",
 +
pages = "464 - 501",
 +
year = "2015",
 +
issn = "0168-0072",
 +
doi = "https://doi.org/10.1016/j.apal.2014.11.004",
 +
url = "http://www.sciencedirect.com/science/article/pii/S0168007214001225",
 +
author = "Fuchs, Gunter and Hamkins, Joel David and Reitz, Jonas",
 +
title = "Set-theoretic geology",
 +
eprint = "1107.4776",
 
}
 
}
  
Line 317: Line 478:
 
       URL = {http://boolesrings.org/victoriagitman/files/2011/08/ramseylikecardinalsii.pdf},
 
       URL = {http://boolesrings.org/victoriagitman/files/2011/08/ramseylikecardinalsii.pdf},
 
}
 
}
 
+
GitmanJohnstone:IndestructiblyRamsey
 
#GitmanJohnstone:IndestructiblyRamsey bibtex=@ARTICLE{GitmanJohnstone:IndestructiblyRamsey,
 
#GitmanJohnstone:IndestructiblyRamsey bibtex=@ARTICLE{GitmanJohnstone:IndestructiblyRamsey,
AUTHOR= {Gitman, Victoria and Johnstone, Thomas},
+
AUTHOR= {Gitman, Victoria and Johnstone, Thomas A.},
 
TITLE= {Indestructibility for Ramsey and Ramsey-like cardinals},
 
TITLE= {Indestructibility for Ramsey and Ramsey-like cardinals},
NOTE= {In preparation}}
+
NOTE= {In preparation},
 +
URL= {https://victoriagitman.github.io/files/indestructibleramseycardinalsnew.pdf}
 +
}
 +
 
 +
#GitmanSchindler:VirtualLargeCardinals bibtex=@ARTICLE{GitmanSchindler:VirtualLargeCardinals,
 +
AUTHOR= {Gitman, Victoria and Shindler, Ralf},
 +
TITLE= {Virtual large cardinals},
 +
URL= {https://ivv5hpp.uni-muenster.de/u/rds/virtualLargeCardinalsEdited5.pdf}
 +
}
  
 
#Goldblatt1998: bibtex=@book{Goldblatt1998:ultrafilter,
 
#Goldblatt1998: bibtex=@book{Goldblatt1998:ultrafilter,
Line 359: Line 528:
 
       URL = {http://dx.doi.org/10.2307/2586556},
 
       URL = {http://dx.doi.org/10.2307/2586556},
 
     eprint = {math/9808093}
 
     eprint = {math/9808093}
 +
}
 +
 +
#Hamkins2001:WholenessAxiomAndVequalHOD bibtex=@article{Hamkins2001:WholenessAxiom,
 +
    AUTHOR = {Hamkins, Joel David},
 +
    TITLE = {The wholeness axioms and V=HOD},
 +
  JOURNAL = {Arch. Math. Logic},
 +
  FJOURNAL = {Archive for Mathematical Logic},
 +
    VOLUME = {40},
 +
      YEAR = {2001},
 +
    NUMBER = {1},
 +
    PAGES = {1--8},
 +
      ISSN = {0933-5846},
 +
    CODEN = {AMLOEH},
 +
  MRCLASS = {03E35 (03E65)},
 +
  MRNUMBER = {1816602 (2001m:03102)},
 +
MRREVIEWER = {Ralf-Dieter Schindler},
 +
      DOI = {10.1007/s001530050169},
 +
      URL = {http://dx.doi.org/10.1007/s001530050169},
 +
    eprint = {math/9902079},
 
}
 
}
  
Line 397: Line 585:
 
}
 
}
  
#Hamkins2001:WholenessAxiomAndVequalHOD bibtex=@article{Hamkins2001:WholenessAxiom,
+
#Hamkins2008:UnfoldableGCH bibtex=@article{Hamkins2008:UnfoldableGCH,  
    AUTHOR = {Hamkins, Joel David},
+
author = {Hamkins, Joel David},
    TITLE = {The wholeness axioms and V=HOD},
+
title = {Unfoldable cardinals and the GCH},
  JOURNAL = {Arch. Math. Logic},
+
year = {2008},
  FJOURNAL = {Archive for Mathematical Logic},
+
eprint={math/9909029},
    VOLUME = {40},
+
      YEAR = {2001},
+
    NUMBER = {1},
+
    PAGES = {1--8},
+
      ISSN = {0933-5846},
+
    CODEN = {AMLOEH},
+
  MRCLASS = {03E35 (03E65)},
+
  MRNUMBER = {1816602 (2001m:03102)},
+
MRREVIEWER = {Ralf-Dieter Schindler},
+
      DOI = {10.1007/s001530050169},
+
      URL = {http://dx.doi.org/10.1007/s001530050169},
+
    eprint = {math/9902079},
+
 
}
 
}
  
Line 433: Line 609:
 
}
 
}
  
#Hamkins2009:TallCardinals bibtex=@ARTICLE{Hamkins2009:TallCardinals,
+
#HamkinsJohnstone2010:IndestructibleStrongUnfoldability bibtex=@article{HamkinsJohnstone2010:IndestructibleStrongUnfoldability,
    AUTHOR = {Hamkins, Joel David},
+
  AUTHOR =       {Hamkins, Joel David and Johnstone, Thomas A.},
    TITLE = {Tall cardinals},
+
  TITLE =       {Indestructible strong un-foldability},
  JOURNAL = {MLQ Math. Log. Q.},
+
  YEAR =         {2010},
   FJOURNAL = {MLQ. Mathematical Logic Quarterly},
+
   JOURNAL =     {Notre Dame J. Form. Log.},
    VOLUME = {55},
+
  VOLUME =      {51},
       YEAR = {2009},
+
  NUMBER =       {3},
    NUMBER = {1},
+
  PAGES =       {291--321}
    PAGES = {68--86},
+
      ISSN = {0942-5616},
+
  MRCLASS = {03E55 (03E35)},
+
  MRNUMBER = {2489293 (2010g:03083)},
+
MRREVIEWER = {Carlos A. Di Prisco},
+
      DOI = {10.1002/malq.200710084},
+
      URL = {http://boolesrings.org/hamkins/tallcardinals/},
+
}
+
 
+
#Hamkins2008:UnfoldableGCH bibtex=@article{Hamkins2008:UnfoldableGCH,
+
author = {Hamkins, Joel David},
+
title = {Unfoldable cardinals and the GCH},
+
year = {2008},
+
url={https://arxiv.org/pdf/math/9909029.pdf/},
+
 
}
 
}
  
Line 460: Line 622:
 
   AUTHOR =      {Hamkins, Joel David and Johnstone, Thomas A.},
 
   AUTHOR =      {Hamkins, Joel David and Johnstone, Thomas A.},
 
   TITLE =        {Resurrection axioms and uplifting cardinals},
 
   TITLE =        {Resurrection axioms and uplifting cardinals},
 +
  YEAR =        {2014},
 
   url =          {http://jdh.hamkins.org/resurrection-axioms-and-uplifting-cardinals/},
 
   url =          {http://jdh.hamkins.org/resurrection-axioms-and-uplifting-cardinals/},
 
   eprint =      {1307.3602},
 
   eprint =      {1307.3602},
 
}
 
}
  
#DonderKoepke1998:AccessibleJonsson bibtex=@article{DonderKoepke1983:AccessibleJonsson,  
+
#HamkinsJohnstone:BoldfaceResurrectionAxioms bibtex=@article{HamkinsJohnstone:BoldfaceResurrectionAxioms,
author = {Donder, Hans-Deiter and Koepke, Peter},
+
  AUTHOR =       {Hamkins, Joel David and Johnstone, Thomas A.},
title = {On the Consistency Strength of 'Accessible' Jónsson Cardinals and of the Weak Chang Conjecture},
+
  TITLE =       {Strongly uplifting cardinals and the boldface resurrection axioms},
journal = {Annals of Pure and Applied Logic},
+
  YEAR =         {2014},
year = {1998},
+
  eprint =       {1403.2788},
doi = {10.1016/0168-0072(83)90020-9},
+
url={https://ac.els-cdn.com/0168007283900209/1-s2.0-0168007283900209-main.pdf?_tid=466bc36a-c95e-11e7-bf33-00000aab0f27&acdnat=1510679420_e0c0ac48663b05db4a42ead08262d38f},
+
 
}
 
}
  
Line 483: Line 644:
 
   DOI = {10.2307/2274692},
 
   DOI = {10.2307/2274692},
 
   URL = {www.jstor.org/stable/2274692}
 
   URL = {www.jstor.org/stable/2274692}
 +
}
 +
 +
#HolySchlicht2017:HierarchyRamseylike bibtex=@article{HolySchlicht2017:HierarchyRamseylike,
 +
  author = {Holy, Peter and Schlicht, Philipp},   
 +
    title = {A hierarchy of Ramsey-like cardinals}, 
 +
    year = {2018},
 +
  eprint = {1710.10043},
 +
      doi = {10.4064/fm396-9-2017},
 +
  journal = {Fundamenta Mathematicae},
 +
  volume = {242},
 +
    pages = {49-74},
 +
      url = {https://research-information.bristol.ac.uk/files/185938606/1710.10043.pdf}
 
}
 
}
  
Line 491: Line 664:
 
   YEAR = {2015},
 
   YEAR = {2015},
 
   DOI = {10.1017/jsl.2014.49},
 
   DOI = {10.1017/jsl.2014.49},
   URL = {https://arxiv.org/abs/1304.2323}
+
   EPRINT = {1304.2323}
 
}
 
}
  
Line 530: Line 703:
 
}
 
}
  
 +
#Kanamori1978:StrongAxioms bibtex=@article 
 +
{Kanamori1978:StrongAxioms, 
 +
  author = {Kanamori, Akihiro and Reinhardt, William N. and Solovay, Robert M.},   
 +
    title = {Strong axioms of infinity and elementary embeddings},
 +
    note = {In ''Annals of Mathematical Logic'', '''13'''(1978)},
 +
    year = {1978},   
 +
      url = {http://math.bu.edu/people/aki/d.pdf},
 +
}
 +
 +
#KanamoriAwerbuchFriedlander1990:Compleat0Dagger bibtex=@article{KanamoriAwerbuchFriedlander1990:Compleat0Dagger,
 +
author = {Kanamori, Akihiro and Awerbuch-Friedlander, Tamara},
 +
title = {The compleat 0†},
 +
journal = {Mathematical Logic Quarterly},
 +
volume = {36},
 +
number = {2},
 +
pages = {133-141},
 +
doi = {10.1002/malq.19900360206},
 +
year = {1990}
 +
}
  
 
#Kanamori2009:HigherInfinite bibtex=@book{Kanamori2009:HigherInfinite,
 
#Kanamori2009:HigherInfinite bibtex=@book{Kanamori2009:HigherInfinite,
Line 545: Line 737:
 
}
 
}
  
#Kanamori1978:StrongAxioms bibtex=@article  
+
#Kentaro2007:DoubleHelix bibtex=@article{Kentaro2007:DoubleHelix,
{Kanamori1978:StrongAxioms, 
+
  author = {Kanamori, Akihiro and Reinhardt, William N. and Solovay, Robert M.},   
+
    title = {Strong axioms of infinity and elementary embeddings},
+
    note = {In ''Annals of Mathematical Logic'', '''13'''(1978)},
+
    year = {1978},   
+
      url = {http://math.bu.edu/people/aki/d.pdf},}
+
 
+
#Kentaro2007:DoubleHelix bibtex=@article{Jech2003:SetTheory,
+
 
     AUTHOR = {Kentaro, Sato},
 
     AUTHOR = {Kentaro, Sato},
 
     TITLE = {Double helix in large large cardinals and iteration of
 
     TITLE = {Double helix in large large cardinals and iteration of
Line 637: Line 821:
 
       YEAR = {2017},
 
       YEAR = {2017},
 
       URL = {http://www.madore.org/~david/math/ordinal-zoo.pdf}
 
       URL = {http://www.madore.org/~david/math/ordinal-zoo.pdf}
 +
}
 +
 +
#Makowsky1985:CompactLogics bibtex=@article{Makowsky1985:CompactLogics,
 +
    AUTHOR = {Makowsky, Johann},
 +
    TITLE = {Vopěnka's Principle and Compact Logics},
 +
    JOURNAL = {J. Symbol Logic},
 +
    FJOURNAL = {The Journal of Symbolic Logic},
 +
    URL = https://www.jstor.org/stable/2273786?seq=1#page_scan_tab_contents
 +
    YEAR = {1985},
 
}
 
}
  
Line 644: Line 837:
 
       JOURNAL = {J. Symbol Logic},
 
       JOURNAL = {J. Symbol Logic},
 
       FJOURNAL = {The Journal of Symbolic Logic},
 
       FJOURNAL = {The Journal of Symbolic Logic},
       URL = {https://arxiv.org/pdf/math/9706207.pdf},
+
       EPRINT = {math/9706207},
 
       YEAR = {1997}
 
       YEAR = {1997}
 
}
 
}
Line 663: Line 856:
 
     YEAR = {1998},
 
     YEAR = {1998},
 
     PAGES = {175--197}
 
     PAGES = {175--197}
 +
}
 +
 +
#NielsenWelch2018:GamesRamseylike bibtex=@article{NielsenWelch2018:GamesRamseylike,
 +
  author = {Nielsen, Dan Saattrup and Welch, Philip},   
 +
    title = {Games and Ramsey-like cardinals}, 
 +
    year = {2018}, 
 +
  eprint = {1804.10383},
 
}
 
}
  
Line 669: Line 869:
 
     TITLE = {The large cardinals between supercompact and almost-huge},
 
     TITLE = {The large cardinals between supercompact and almost-huge},
 
     YEAR = {2010},
 
     YEAR = {2010},
     URL = {https://arxiv.org/pdf/1307.7387.pdf},
+
     EPRINT = {1307.7387},
 
}
 
}
 
  
 
#Rathjen2006:OrdinalAnalysis bibtex=@article{Rathjen2006:OrdinalAnalysis,
 
#Rathjen2006:OrdinalAnalysis bibtex=@article{Rathjen2006:OrdinalAnalysis,
Line 678: Line 877:
 
     YEAR = {2006},
 
     YEAR = {2006},
 
     URL = {http://www.icm2006.org/proceedings/Vol_II/contents/ICM_Vol_2_03.pdf}
 
     URL = {http://www.icm2006.org/proceedings/Vol_II/contents/ICM_Vol_2_03.pdf}
}
 
 
#SharpeWelch2011:GreatlyErdosChang bibtex=@article {SharpeWelch2011:GreatlyErdosChang,
 
    AUTHOR = {Sharpe, Ian and Welch, Philip},
 
    TITLE = {Greatly Erdős cardinals with some generalizations to
 
              the Chang and Ramsey properties},
 
  JOURNAL = {Ann. Pure Appl. Logic},
 
  FJOURNAL = {Annals of Pure and Applied Logic},
 
    VOLUME = {162},
 
      YEAR = {2011},
 
    NUMBER = {11},
 
    PAGES = {863--902},
 
      ISSN = {0168-0072},
 
    CODEN = {APALD7},
 
  MRCLASS = {03E04 (03E35 03E45 03E55)},
 
  MRNUMBER = {2817562},
 
      DOI = {10.1016/j.apal.2011.04.002},
 
      URL = {http://dx.doi.org/10.1016/j.apal.2011.04.002},
 
}
 
 
#Shelah1994:CardinalArithmetic bibtex=@article {#Shelah1994:CardinalArithmetic,
 
    AUTHOR = {Shelah, Saharon},
 
    TITLE = {Cardinal Arithmetic},
 
  JOURNAL = {Oxford Logic Guides},
 
    VOLUME = {29},
 
      YEAR = {1994},
 
 
}
 
}
  
Line 736: Line 909:
 
       YEAR = {2011}
 
       YEAR = {2011}
 
}
 
}
 +
 
#Schindler2000:RemarkableCardinal bibtex=@article {Schindler2000:RemarkableCardinal,
 
#Schindler2000:RemarkableCardinal bibtex=@article {Schindler2000:RemarkableCardinal,
 
     AUTHOR = {Schindler, Ralf-Dieter},
 
     AUTHOR = {Schindler, Ralf-Dieter},
Line 752: Line 926:
 
       URL = {http://dx.doi.org/10.2307/421205},
 
       URL = {http://dx.doi.org/10.2307/421205},
 
}
 
}
 +
 +
#SharpeWelch2011:GreatlyErdosChang bibtex=@article {SharpeWelch2011:GreatlyErdosChang,
 +
    AUTHOR = {Sharpe, Ian and Welch, Philip},
 +
    TITLE = {Greatly Erdős cardinals with some generalizations to
 +
              the Chang and Ramsey properties},
 +
  JOURNAL = {Ann. Pure Appl. Logic},
 +
  FJOURNAL = {Annals of Pure and Applied Logic},
 +
    VOLUME = {162},
 +
      YEAR = {2011},
 +
    NUMBER = {11},
 +
    PAGES = {863--902},
 +
      ISSN = {0168-0072},
 +
    CODEN = {APALD7},
 +
  MRCLASS = {03E04 (03E35 03E45 03E55)},
 +
  MRNUMBER = {2817562},
 +
      DOI = {10.1016/j.apal.2011.04.002},
 +
      URL = {http://dx.doi.org/10.1016/j.apal.2011.04.002},
 +
}
 +
 +
#Shelah1994:CardinalArithmetic bibtex=@article {#Shelah1994:CardinalArithmetic,
 +
    AUTHOR = {Shelah, Saharon},
 +
    TITLE = {Cardinal Arithmetic},
 +
  JOURNAL = {Oxford Logic Guides},
 +
    VOLUME = {29},
 +
      YEAR = {1994},
 +
}
 +
 
#Silver1970:ErdosCardinal bibtex=@article {MR0274278,
 
#Silver1970:ErdosCardinal bibtex=@article {MR0274278,
 
     AUTHOR = {Silver, Jack},
 
     AUTHOR = {Silver, Jack},
Line 765: Line 966:
 
MRREVIEWER = {N. C. A. da Costa},
 
MRREVIEWER = {N. C. A. da Costa},
 
}
 
}
 +
 
#Silver1971:ZeroSharp bibtex=@article {MR0409188,
 
#Silver1971:ZeroSharp bibtex=@article {MR0409188,
 
     AUTHOR = {Silver, Jack},
 
     AUTHOR = {Silver, Jack},
Line 818: Line 1,020:
 
     TITLE = {Determinacy from Strong Compactness of $\omega_1$},
 
     TITLE = {Determinacy from Strong Compactness of $\omega_1$},
 
       YEAR = {2016},
 
       YEAR = {2016},
      URL = {https://arxiv.org/abs/1609.05411v1}
+
    EPRINT = {1609.05411v1}
 
}
 
}
  
Line 828: Line 1,030:
 
     VOLUME = {49},
 
     VOLUME = {49},
 
     NUMBER = {4},
 
     NUMBER = {4},
 +
}
 +
 +
#Usuba2017:DDGandVeryLarge bibtex=@article{Usuba2017:DDGandVeryLarge,
 +
    author = {Usuba, Toshimichi},
 +
    title = {The downward directed grounds hypothesis and very large cardinals},
 +
    year = {2017},
 +
    eprint = {1707.05132},
 +
    doi = {10.1142/S021906131750009X},
 +
    journal = {Journal of Mathematical Logic},
 +
    volume = {17},
 +
    number = {02},
 +
    pages = {1750009},
 +
    issn = {0219-0613},
 +
    publisher = {World Scientific Publishing Co. Pte Ltd},
 +
}
 +
 +
#Usuba2018:ExtendibleCardinalsAndTheMantle bibtex=@article{Usuba2018:ExtendibleCardinalsAndTheMantle,
 +
    author = {Usuba, Toshimichi},
 +
    title = {Extendible cardinals and the mantle},
 +
    year = {2019},
 +
    eprint = {1803.03944},
 +
    doi = {10.1007/s00153-018-0625-4},
 +
    journal = {Archive for Mathematical Logic},
 +
    volume = {58},
 +
    number = {1-2},
 +
    pages = {71-75},
 
}
 
}
  
Line 841: Line 1,069:
 
   MRCLASS = {03E57 (03E05 03E55)},
 
   MRCLASS = {03E57 (03E05 03E55)},
 
   MRNUMBER = {MR2838054 (2012m:03131)},
 
   MRNUMBER = {MR2838054 (2012m:03131)},
 +
}
 +
 +
#Villaveces1996:ChainsEndElementaryExtensionsModels bibtex=@article{Villaveces1996:ChainsEndElementaryExtensionsModels,
 +
    AUTHOR = {Villaveces, Andrés},
 +
    TITLE = {Chains of End Elementary Extensions of Models of Set Theory},
 +
  JOURNAL = {JSTOR},
 +
      YEAR = {1996},
 +
    EPRINT = {math/9611209},
 
}
 
}
  
Line 859: Line 1,095:
 
     pages = {129--136},
 
     pages = {129--136},
 
     year = {2000},
 
     year = {2000},
 +
}
 +
 +
#Woodin2010:SEM1 bibtex=@article{doi:10.1142/S021906131000095X,
 +
author = {Woodin, W. Hugh},
 +
title = {Suitable extender models I},
 +
journal = {Journal of Mathematical Logic},
 +
volume = {10},
 +
number = {01n02},
 +
pages = {101-339},
 +
year = {2010},
 +
doi = {10.1142/S021906131000095X},
 +
URL = {http://www.worldscientific.com/doi/pdf/10.1142/S021906131000095X}
 +
}
 +
 +
#Woodin2011:SEM2 bibtex=@article{doi:10.1142/S021906131100102X,
 +
author = {Woodin, W. Hugh},
 +
title = {Suitable extender models II: beyond $\omega$-huge},
 +
journal = {Journal of Mathematical Logic},
 +
volume = {11},
 +
number = {02},
 +
pages = {115-436},
 +
year = {2011},
 +
doi = {10.1142/S021906131100102X},
 +
URL = {http://www.worldscientific.com/doi/pdf/10.1142/S021906131100102X}
 
}
 
}
  
Line 874: Line 1,134:
 
   MRCLASS = {03E55},
 
   MRCLASS = {03E55},
 
   MRNUMBER = {MR1317054 (96i:03051)},
 
   MRNUMBER = {MR1317054 (96i:03051)},
MRREVIEWER = {L. Bukovsky}},
+
MRREVIEWER = {L. Bukovsky},
 
       DOI = {10.1090/S0002-9939-96-03281-9},
 
       DOI = {10.1090/S0002-9939-96-03281-9},
 
       URL = {http://dx.doi.org/10.1090/S0002-9939-96-03281-9},
 
       URL = {http://dx.doi.org/10.1090/S0002-9939-96-03281-9},

Latest revision as of 09:52, 8 May 2019

Step up the ladder towards wisdom, photo by Sigfrid Lundberg

Welcome to the library, our central repository for references cited here on Cantor's attic.

Library holdings

  1. Abramson, Fred and Harrington, Leo and Kleinberg, Eugene and Zwicker, William. Flipping properties: a unifying thread in the theory of large cardinals. Ann Math Logic 12(1):25--58, 1977. MR   bibtex
  2. Baaz, M and Papadimitriou, CH and Putnam, HW and Scott, DS and Harper, CL. Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press, 2011. www   bibtex
  3. Bagaria, Joan and Casacuberta, Carles and Mathias, A R D and Rosický, Jiří. Definable orthogonality classes in accessible categories are small. Journal of the European Mathematical Society 17(3):549--589. arχiv   bibtex
  4. Bagaria, Joan and Hamkins, Joel David and Tsaprounis, Konstantinos and Usuba, Toshimichi. Superstrong and other large cardinals are never Laver indestructible. Archive for Mathematical Logic 55(1-2):19--35, 2013. www   arχiv   DOI   bibtex
  5. Bagaria, Joan. Large Cardinals beyond Choice. , 2017. www   bibtex
  6. Baumgartner, James. Ineffability properties of cardinals. I. Infinite and finite sets (Colloq., Keszthely, 1973; dedicated to P. Erdős on his 60th birthday), Vol. I, pp. 109--130. Colloq. Math. Soc. János Bolyai, Vol. 10, Amsterdam, 1975. MR   bibtex
  7. Blass, Andreas. Chapter 6: Cardinal characteristics of the continuum. Handbook of Set Theory , 2010. www   bibtex
  8. Blass, Andreas. Exact functors and measurable cardinals.. Pacific J Math 63(2):335--346, 1976. www   bibtex
  9. Boney, Will. Model Theoretic Characterizations of Large Cardinals. arχiv   bibtex
  10. Cantor, Georg. Contributions to the Founding of the Theory of Transfinite Numbers. Dover, New York, 1955. (Original year was 1915) www   bibtex
  11. Carmody, Erin Kathryn. Force to change large cardinal strength. , 2015. www   arχiv   bibtex
  12. Carmody, Erin and Gitman, Victoria and Habič, Miha E. A Mitchell-like order for Ramsey and Ramsey-like cardinals. , 2016. arχiv   bibtex
  13. Cody, Brent, Gitik, Moti, Hamkins, Joel David, and Schanker, Jason. The Least Weakly Compact Cardinal Can Be Unfoldable, Weakly Measurable and Nearly θ-Supercompact. , 2013. arχiv   bibtex
  14. Cody, Brent and Gitman, Victoria. Easton's theorem for Ramsey and strongly Ramsey cardinals. Annals of Pure and Applied Logic 166(9):934 - 952, 2015. www   DOI   bibtex
  15. Corazza, Paul. The Wholeness Axiom and Laver sequences. Annals of Pure and Applied Logic pp. 157--260, October, 2000. bibtex
  16. Corazza, Paul. The gap between ${\rm I}_3$ and the wholeness axiom. Fund Math 179(1):43--60, 2003. www   DOI   MR   bibtex
  17. Corazza, Paul. The Axiom of Infinity and transformations $j: V \to V$. Bulletin of Symbolic Logic 16(1):37--84, 2010. www   DOI   bibtex
  18. Dimonte, Vincenzo. I0 and rank-into-rank axioms. , 2017. arχiv   bibtex
  19. Dimopoulos, Stamatis. Woodin for strong compactness cardinals. The Journal of Symbolic Logic 84(1):301–319, 2019. arχiv   DOI   bibtex
  20. Dodd, Anthony and Jensen, Ronald. The core model. Ann Math Logic 20(1):43--75, 1981. www   DOI   MR   bibtex
  21. Donder, Hans-Dieter and Koepke, Peter. On the Consistency Strength of 'Accessible' Jónsson Cardinals and of the Weak Chang Conjecture. Annals of Pure and Applied Logic , 1998. www   DOI   bibtex
  22. Donder, Hans-Dieter and Levinski, Jean-Pierre. Some principles related to Chang's conjecture. Annals of Pure and Applied Logic , 1989. www   DOI   bibtex
  23. Drake, Frank. Set Theory: An Introduction to Large Cardinals. North-Holland Pub. Co., 1974. bibtex
  24. Erdős, Paul and Hajnal, Andras. Some remarks concerning our paper ``On the structure of set-mappings''. Non-existence of a two-valued $\sigma $-measure for the first uncountable inaccessible cardinal. Acta Math Acad Sci Hungar 13:223--226, 1962. MR   bibtex
  25. Erdős, Paul and Hajnal, Andras. On the structure of set-mappings. Acta Math Acad Sci Hungar 9:111--131, 1958. MR   bibtex
  26. Eskrew, Monroe and Hayut, Yair. On the consistency of local and global versions of Chang's Conjecture. , 2016. arχiv   bibtex
  27. Esser, Olivier. Inconsistency of GPK+AFA. Mathematical Logic Quarterly 42:104--108, 1996. www   DOI   bibtex
  28. Esser, Olivier. An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory. Mathematical Logic Quarterly 43:369--377, 1997. www   DOI   bibtex
  29. Esser, Olivier. On the Consistency of a Positive Theory. Mathematical Logic Quarterly 45:105--116, 1999. www   DOI   bibtex
  30. Esser, Olivier. Inconsistency of the Axiom of Choice with the Positive Theory $GPK^+_\infty$. Journal of Symbolic Logic 65(4):1911--1916, Dec., 2000. www   DOI   bibtex
  31. Esser, Olivier. On the axiom of extensionality in the positive set theory. Mathematical Logic Quarterly 19:97--100, 2003. www   DOI   bibtex
  32. Evans, C D A and Hamkins, Joel David. Transfinite game values in infinite chess. (under review) www   arχiv   bibtex
  33. Feng, Qi. A hierarchy of Ramsey cardinals. Annals of Pure and Applied Logic 49(3):257 - 277, 1990. DOI   bibtex
  34. Foreman, Matthew and Kanamori, Akihiro. Handbook of Set Theory. First, Springer, 2010. (This book is actually a compendium of articles from multiple authors) www   bibtex
  35. Forti, M and Hinnion, R. The Consistency Problem for Positive Comprehension Principles. J Symbolic Logic 54(4):1401--1418, 1989. bibtex
  36. Friedman, Harvey M. Subtle cardinals and linear orderings. , 1998. www   bibtex
  37. Fuchs, Gunter and Hamkins, Joel David and Reitz, Jonas. Set-theoretic geology. Annals of Pure and Applied Logic 166(4):464 - 501, 2015. www   arχiv   DOI   bibtex
  38. Gaifman, Haim. Elementary embeddings of models of set-theory and certain subtheories. Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part II, Univ. California, Los Angeles, Calif., 1967), pp. 33--101, Providence R.I., 1974. MR   bibtex
  39. Gitman, Victoria. Ramsey-like cardinals. The Journal of Symbolic Logic 76(2):519-540, 2011. www   arχiv   MR   bibtex
  40. Gitman, Victoria and Welch, Philip. Ramsey-like cardinals II. J Symbolic Logic 76(2):541--560, 2011. www   arχiv   MR   bibtex
  41. Gitman, Victoria and Johnstone, Thomas A. Indestructibility for Ramsey and Ramsey-like cardinals. (In preparation) www   bibtex
  42. Gitman, Victoria and Shindler, Ralf. Virtual large cardinals. www   bibtex
  43. Goldblatt, Robert. Lectures on the Hyperreals. Springer, 1998. bibtex
  44. Goldstern, Martin and Shelah, Saharon. The Bounded Proper Forcing Axiom. J Symbolic Logic 60(1):58--73, 1995. www   bibtex
  45. Hamkins, Joel David and Lewis, Andy. Infinite time Turing machines. J Symbolic Logic 65(2):567--604, 2000. www   arχiv   DOI   MR   bibtex
  46. Hamkins, Joel David. The wholeness axioms and V=HOD. Arch Math Logic 40(1):1--8, 2001. www   arχiv   DOI   MR   bibtex
  47. Hamkins, Joel David. Infinite time Turing machines. Minds and Machines 12(4):521--539, 2002. (special issue devoted to hypercomputation) www   arχiv   bibtex
  48. Hamkins, Joel David. Supertask computation. Classical and new paradigms of computation and their complexity hierarchies23:141--158, Dordrecht, 2004. (Papers of the conference ``Foundations of the Formal Sciences III'' held in Vienna, September 21-24, 2001) www   arχiv   DOI   MR   bibtex
  49. Hamkins, Joel David. Unfoldable cardinals and the GCH. , 2008. arχiv   bibtex
  50. Hamkins, Joel David. Tall cardinals. MLQ Math Log Q 55(1):68--86, 2009. www   DOI   MR   bibtex
  51. Hamkins, Joel David and Johnstone, Thomas A. Indestructible strong un-foldability. Notre Dame J Form Log 51(3):291--321, 2010. bibtex
  52. Hamkins, Joel David and Johnstone, Thomas A. Resurrection axioms and uplifting cardinals. , 2014. www   arχiv   bibtex
  53. Hamkins, Joel David and Johnstone, Thomas A. Strongly uplifting cardinals and the boldface resurrection axioms. , 2014. arχiv   bibtex
  54. Hauser, Kai. Indescribable Cardinals and Elementary Embeddings. 56(2):439 - 457, 1991. www   DOI   bibtex
  55. Holy, Peter and Schlicht, Philipp. A hierarchy of Ramsey-like cardinals. Fundamenta Mathematicae 242:49-74, 2018. www   arχiv   DOI   bibtex
  56. Jackson, Steve; Ketchersid, Richard; Schlutzenberg, Farmer; Woodin, W Hugh. Determinacy and Jónsson cardinals in $L(\mathbb{R})$. , 2015. arχiv   DOI   bibtex
  57. Jech, Thomas J. Set Theory. Third, Springer-Verlag, Berlin, 2003. (The third millennium edition, revised and expanded) www   bibtex
  58. Jensen, Ronald and Kunen, Kenneth. Some combinatorial properties of $L$ and $V$. Unpublished, 1969. www   bibtex
  59. Kanamori, Akihiro and Magidor, Menachem. The evolution of large cardinal axioms in set theory. Higher set theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977)669:99--275, Berlin, 1978. www   MR   bibtex
  60. Kanamori, Akihiro and Reinhardt, William N and Solovay, Robert M. Strong axioms of infinity and elementary embeddings. , 1978. (In ''Annals of Mathematical Logic'', '''13'''(1978)) www   bibtex
  61. Kanamori, Akihiro and Awerbuch-Friedlander, Tamara. The compleat 0†. Mathematical Logic Quarterly 36(2):133-141, 1990. DOI   bibtex
  62. Kanamori, Akihiro. The higher infinite. Second, Springer-Verlag, Berlin, 2009. (Large cardinals in set theory from their beginnings, Paperback reprint of the 2003 edition) www   bibtex
  63. Kentaro, Sato. Double helix in large large cardinals and iteration ofelementary embeddings. , 2007. www   bibtex
  64. Kunen, Kenneth. Saturated Ideals. J Symbolic Logic 43(1):65--76, 1978. www   bibtex
  65. Koellner, Peter and Woodin, W Hugh. Chapter 23: Large cardinals from Determinacy. Handbook of Set Theory , 2010. www   bibtex
  66. Larson, Paul B. A brief history of determinacy. , 2013. www   bibtex
  67. Laver, Richard. Implications between strong large cardinal axioms. Ann Math Logic 90(1--3):79--90, 1997. MR   bibtex
  68. Maddy, Penelope. Believing the axioms. I. J Symbolic Logic 53(2):181--511, 1988. www   DOI   bibtex
  69. Maddy, Penelope. Believing the axioms. II. J Symbolic Logic 53(3):736--764, 1988. www   DOI   bibtex
  70. Madore, David. A zoo of ordinals. , 2017. www   bibtex
  71. Makowsky, Johann. Vopěnka's Principle and Compact Logics. J Symbol Logic www   bibtex
  72. Mitchell, William J. Jónsson Cardinals, Erdős Cardinals, and the Core Model. J Symbol Logic , 1997. arχiv   bibtex
  73. Mitchell, William J. The Covering Lemma. Handbook of Set Theory , 2001. www   bibtex
  74. Miyamoto, Tadatoshi. A note on weak segments of PFA. Proceedings of the sixth Asian logic conference pp. 175--197, 1998. bibtex
  75. Nielsen, Dan Saattrup and Welch, Philip. Games and Ramsey-like cardinals. , 2018. arχiv   bibtex
  76. Perlmutter, Norman. The large cardinals between supercompact and almost-huge. , 2010. arχiv   bibtex
  77. Rathjen, Michael. The art of ordinal analysis. , 2006. www   bibtex
  78. Schanker, Jason A. Partial near supercompactness. Ann Pure Appl Logic , 2012. (In Press.) www   DOI   bibtex
  79. Schanker, Jason A. Weakly measurable cardinals. MLQ Math Log Q 57(3):266--280, 2011. www   DOI   bibtex
  80. Schanker, Jason A. Weakly measurable cardinals and partial near supercompactness. Ph.D. Thesis, CUNY Graduate Center, 2011. bibtex
  81. Schindler, Ralf-Dieter. Proper forcing and remarkable cardinals. Bull Symbolic Logic 6(2):176--184, 2000. www   DOI   MR   bibtex
  82. Sharpe, Ian and Welch, Philip. Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties. Ann Pure Appl Logic 162(11):863--902, 2011. www   DOI   MR   bibtex
  83. Shelah, Saharon. Cardinal Arithmetic. Oxford Logic Guides 29, 1994. bibtex
  84. Silver, Jack. A large cardinal in the constructible universe. Fund Math 69:93--100, 1970. MR   bibtex
  85. Silver, Jack. Some applications of model theory in set theory. Ann Math Logic 3(1):45--110, 1971. MR   bibtex
  86. Suzuki, Akira. Non-existence of generic elementary embeddings into the ground model. Tsukuba J Math 22(2):343--347, 1998. MR   bibtex | Abstract
  87. Suzuki, Akira. No elementary embedding from $V$ into $V$ is definable from parameters. J Symbolic Logic 64(4):1591--1594, 1999. www   DOI   MR   bibtex
  88. Trang, Nam and Wilson, Trevor. Determinacy from Strong Compactness of $\omega_1$. , 2016. arχiv   bibtex
  89. Tryba, Jan. On Jónsson cardinals with uncountable cofinality. Israel Journal of Mathematics 49(4), 1983. bibtex
  90. Usuba, Toshimichi. The downward directed grounds hypothesis and very large cardinals. Journal of Mathematical Logic 17(02):1750009, 2017. arχiv   DOI   bibtex
  91. Usuba, Toshimichi. Extendible cardinals and the mantle. Archive for Mathematical Logic 58(1-2):71-75, 2019. arχiv   DOI   bibtex
  92. Viale, Matteo and Weiß, Christoph. On the consistency strength of the proper forcing axiom. Advances in Mathematics 228(5):2672--2687, 2011. arχiv   MR   bibtex
  93. Villaveces, Andrés. Chains of End Elementary Extensions of Models of Set Theory. JSTOR , 1996. arχiv   bibtex
  94. Welch, Philip. Some remarks on the maximality of Inner Models. Logic Colloquium , 1998. www   bibtex
  95. Welch, Philip. The Lengths of Infinite Time Turing Machine Computations. Bulletin of the London Mathematical Society 32(2):129--136, 2000. bibtex
  96. Woodin, W Hugh. Suitable extender models I. Journal of Mathematical Logic 10(01n02):101-339, 2010. www   DOI   bibtex
  97. Woodin, W Hugh. Suitable extender models II: beyond $\omega$-huge. Journal of Mathematical Logic 11(02):115-436, 2011. www   DOI   bibtex
  98. Zapletal, Jindrich. A new proof of Kunen's inconsistency. Proc Amer Math Soc 124(7):2203--2204, 1996. www   DOI   MR   bibtex

User instructions

Cantor's attic users may make contributions to the library, in bibtex format, and then cite those references in other articles. Edit this page to make your contribution.