3 papers
math.LO2025
Entangled Suslin lines and OGA
Carlos Martinez-Ranero, Lucas Polymeris
We construct a model of the Open Graph Axiom (OGA) in which there is a 2-entangled Suslin line . Consequently, in this model, there is a 2-entangled uncountable linear order, bu…
math.LO2025
New consequences of PFA()
Carlos MartÃnez-Ranero, Lucas Polymeris
Let be an almost Suslin tree, that is, an Aronszajn tree with no stationary antichains. Krueger introduced a forcing axiom, , for the class of proper forci…
math.LO2025
The class of Aronszajn lines under epimorphisms
Lucas Polymeris, Carlos Martinez-Ranero
A linear order is called strongly surjective if for every non empty suborder , there is an epimorphism from onto (denoted by ). We sho…