The downward directed grounds hypothesis and very large cardinals

DOI10.1142/S021906131750009XMaRDI QIDQ4596665zbMATH OpenFDO

Authors Toshimichi Usuba

Publication date 4 December 2017

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.05132

zbMATH Keywords

large cardinalset-theoretic geologyforcing methodgeneric multiversedownward directed grounds hypothesis

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: A transitive model $M$ of ZFC is called a ground if the universe $V$ is a set forcing extension of $M$. We show that the grounds of $V$ are downward set-directed. Consequently, we establish some fundamental theorems on the forcing method and the set-theoretic geology. For instance, (1) the mantle, the intersection of all grounds, must be a model of ZFC. (2) $V$ has only set many grounds if and only if the mantle is a ground. We also show that if the universe has some very large cardinal, then the mantle must be a ground.

Recommendations

• Set-theoretic geology
• Certain very large cardinals are not created in small forcing extensions
• The ground axiom
• Choice principles in local mantles
• Indestructibility, HOD, and the ground axiom

Cites work

• scientific article; zbMATH DE number 3829895 (Why is no real title available?)
• scientific article; zbMATH DE number 922633 (Why is no real title available?)
• scientific article; zbMATH DE number 3023012 (Why is no real title available?)
• A simple maximality principle
• Certain very large cardinals are not created in small forcing extensions
• Characterization of generic extensions of models of set theory
• Extensions with the approximation and cover properties have no new large cardinals
• Gödel's program
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On the Hamkins approximation property
• On the set-generic multiverse
• Set-theoretic geology
• Superstrong and other large cardinals are never Laver indestructible
• The continuum hypothesis, the generic-multiverse of sets, and the \(\Omega\) conjecture
• The ground axiom
• The long extender algebra

Cited in

(22)

• Set-theoretic blockchains
• Inner mantles and iterated HOD
• HOD in inner models with Woodin cardinals
• Universism and extensions of \(V\)
• The Ultrapower Axiom
• Can all things be counted?
• Model theoretic characterizations of large cardinals
• On the set-generic multiverse
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• A reconstruction of Steel's multiverse project
• On a class of maximality principles
• TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE
• Subcomplete forcing principles and definable well-orders
• Inner model theoretic geology
• Choice principles in local mantles
• Two results on extendible cardinals
• Inner-model reflection principles
• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• VARSOVIAN MODELS I
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• Set-theoretic geology
• Extendible cardinals and the mantle

This page was built for publication: The downward directed grounds hypothesis and very large cardinals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596665)