Trees and gaps from a construction scheme

DOI10.1090/PROC/13431MaRDI QIDQ5298209zbMATH OpenOpenAlexFDO

Authors Fulgencio Lopez, Stevo Todorčević

Publication date 14 December 2016

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

construction schemes destructible gaps S-gaps Suslin tree T-gaps

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other set-theoretic hypotheses and axioms (03E65)

Abstract: We present natural constructions of trees and gaps using a quite general construction scheme. In particular, we solve a natural problem about

(o m e g a_{1}, o m e g a_{1})

-gaps. As it is well known

(o m e g a_{1}, o m e g a_{1})

-gaps can sometimes be filled in

o m e g a_{1}

-preserving forcing extensions of the set-theoretic universe. There are two natural conditions, dubbed

S

and

T

below, that guarantee the existence of such forcing extensions. The condition

T

is a natural strengthening of the condition

S

and was motivated by the numerous analogies between

(o m e g a_{1}, o m e g a_{1})

-gaps and certain trees of height

o m e g a_{1} .

It turns out that the condition

S

is in fact equivalent to the existence of such forcing extensions but we show that the condition

T

is strictly stronger by proving that it is consistent that there are fillable

(o m e g a_{1}, o m e g a_{1})

-gaps (i.e., S-gaps) but no T-gaps.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Trees and gaps from a construction scheme

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