On a generalization of Jensen's □κ, and strategic closure of partial orders

DOI10.2307/2273668zbMath0549.03044OpenAlexW2124205440MaRDI QIDQ3342561

Dan Velleman

Publication date: 1983

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

Full work available at URL: https://doi.org/10.2307/2273668

zbMATH Keywords

combinatorial principlesconstructible universeforcing axiom

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (6)

Approachability and Games on Posets ⋮ The \(\ast\)-variation of the Banach-Mazur game and forcing axioms ⋮ Operations, climbability and the proper forcing axiom ⋮ Directive trees and games on posets ⋮ Jensen's ⃞ principles and the Novák number of partially ordered sets ⋮ Simplified morasses with linear limits

Cites Work

• S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees
• The fine structure of the constructible hierarchy

This page was built for publication: On a generalization of Jensen's □_κ, and strategic closure of partial orders