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
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…
math.LO2024
Undecidability of infinite towers of Kummer extensions of
Carlos Martinez-Ranero, Javier Utreras
We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combine…