Precisely controlling level by level behavior

DOI10.1002/malq.201500018zbMath1469.03141OpenAlexW2554716165MaRDI QIDQ5108090

Arthur W. Apter

Publication date: 29 April 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201500018

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Cites Work

• Inner models with large cardinal features usually obtained by forcing
• Level by level inequivalence beyond measurability
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Measurable cardinals and the continuum hypothesis
• On the consistency strength of level by level inequivalence
• On level by level equivalence and inequivalence between strong compactness and supercompactness
• Indestructible strong compactness and level by level inequivalence
• Level by Level Inequivalence, Strong Compactness, and GCH
• Exactly controlling the non-supercompact strongly compact cardinals
• Tallness and level by level equivalence and inequivalence
• On strong compactness and supercompactness
• Strong axioms of infinity and elementary embeddings
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• On the strong equality between supercompactness and strong compactness
• Identity crises and strong compactness. II: Strong cardinals
• Gap forcing

This page was built for publication: Precisely controlling level by level behavior