MRP, tree properties and square principles

DOI10.2178/JSL/1318338859MaRDI QIDQ3107365zbMATH OpenOpenAlexFDO

Authors Remi Strullu

Publication date 23 December 2011

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

Full work available at URL https://doi.org/10.2178/jsl/1318338859

zbMATH Keywords

consistency resultsITPMRPsquare sequencestrongly compact cardinal

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57)

Recommendations

• scientific article; zbMATH DE number 1974604
• Aronszajn trees, square principles, and stationary reflection
• Properties of tree convex constraints
• Markovian trees: Properties and algorithms
• The strong tree property and weak square
• scientific article; zbMATH DE number 3843798
• R-trees: theory and applications
• MPQ-trees for orthogonal packing problem
• Path-factors in the square of a tree
• Integer programming and incidence treedepth

Cites work

• A five element basis for the uncountable linear orders
• Combinatorial principles in the core model for one Woodin cardinal
• scientific article; zbMATH DE number 3805451 (Why is no real title available?)
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• SET MAPPING REFLECTION
• The bounded proper forcing axiom and well orderings of the reals

Cited in

(6)

• Forcing the mapping reflection principle by finite approximations
• Covering properties and square principles
• Strong Chang's conjecture, semi-stationary reflection, the strong tree property and two-cardinal square principles
• KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS
• On the consistency strength of the proper forcing axiom
• Strong Chang's conjecture and the tree property at \(\omega_{2}\)

This page was built for publication: MRP, tree properties and square principles

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