The downward directed grounds hypothesis and very large cardinals

DOI10.1142/S021906131750009XzbMATH Open1423.03191arXiv1707.05132MaRDI QIDQ4596665FDOQ4596665

Authors: Toshimichi Usuba 

Publication date: 4 December 2017

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

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.

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

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

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)

Cites Work

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

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
• Choice principles in local mantles
• Inner model theoretic geology
• 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)