A direct proof of the five element basis theorem

DOI10.1002/MALQ.201600015zbMath1469.03147arXiv1012.0596OpenAlexW2964143325MaRDI QIDQ5108109

Boban Velickovic, Giorgio Venturi

Publication date: 29 April 2020

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

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Total orders (06A05) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)

Cites Work

• Bounding the consistency strength of a five element linear basis
• A five element basis for the uncountable linear orders
• Isomorphism types of Aronszajn trees
• Bases for Aronszajn trees
• Decomposing uncountable squares to countably many chains
• Coherent Sequences
• Αll $ℵ_1$-dense sets of reals can be isomorphic
• SET MAPPING REFLECTION

This page was built for publication: A direct proof of the five element basis theorem