Ascending paths and forcings that specialize higher Aronszajn trees

DOI10.4064/FM224-11-2016zbMath1420.03116OpenAlexW2600945631MaRDI QIDQ5348070

Philipp Lücke

Publication date: 11 August 2017

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6718d51e219fec5a70d55000446d0541e3d60cd1

zbMATH Keywords

proper forcing axiomAronszajn treesKnaster propertyproductivity of chain conditionsspecialization forcings for treesspecial treeswalks on ordinals

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)

Related Items (10)

A microscopic approach to Souslin-tree construction. II ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS ⋮ SPECIALISING TREES WITH SMALL APPROXIMATIONS I ⋮ Aronszajn trees, square principles, and stationary reflection ⋮ Strong tree properties, Kurepa trees, and guessing models ⋮ REDUCED POWERS OF SOUSLIN TREES ⋮ SQUARES, ASCENT PATHS, AND CHAIN CONDITIONS ⋮ Characterizing large cardinals in terms of layered posets ⋮ A remark on Schimmerling's question

This page was built for publication: Ascending paths and forcings that specialize higher Aronszajn trees