On indestructible strongly guessing models

DOI10.1017/JSL.2025.1MaRDI QIDQ7262757zbMATH OpenFDO

Authors Rahman Mohammadpour, Boban Velickovic

Publication date 12 June 2026

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/JSL.2025.1

zbMATH Keywords

guessing modelindestructible guessing modelMagidor modelside conditionsvirtual model

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57) Other set-theoretic hypotheses and axioms (03E65)

Cites work

• Adding closed unbounded subsets of _2 with finite forcing
• Certain very large cardinals are not created in small forcing extensions
• Embedding Trees in the Rationals
• Gap forcing
• Guessing models and generalized Laver diamond
• Guessing models and the approachability ideal
• Guessing models imply the singular cardinal hypothesis
• scientific article; zbMATH DE number 3829896 (Why is no real title available?)
• Indestructible guessing models and the continuum
• On the consistency strength of the proper forcing axiom
• On the role of supercompact and extendible cardinals in logic
• Quotients of strongly proper forcings and guessing models
• Some Combinatorial Properties of Trees
• Specializing trees and answer to a question of Williams
• The continuum hypothesis, the generic-multiverse of sets, and the conjecture
• Why Y-c.c.
• 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)

This page was built for publication: On indestructible strongly guessing models

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