Incompatibility of generic hugeness principles

2021/02/22 by Monroe Eskew, Eskew, Monroe
Computer Science · Economics, Econometrics and Finance · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Economic theories and models #FOS: Mathematics #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.2102.11080

openalex publication_date 2021/02/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We show that the weakest versions of Foreman's minimal generic hugeness axioms cannot hold simultaneously on adjacent cardinals. Moreover, conventional forcing techniques cannot produce a model of one of these axioms.

Related

• On Foreman's maximality principle
• Characterizing large cardinals through Neeman's pure side condition forcing
• The first-order definability of generic large cardinals
• Generically supercompact cardinals by forcing with chain conditions
• All large-cardinal axioms not known to be inconsistent with ZFC are justified