{"id":"arxiv/2608.21649","url":"https://arxiv.org/abs/2608.21649","tags":["math.LO"],"score":0,"title":"Ideals, Well-Orderable Families, and Baire Category in Truss's Feferman-Type Model","domain":"math.LO","source":"arxiv","authors":["Jason Zesheng Chen"],"reviews":0,"subject":"math.LO","summary":"Let $\\mathsf{BCT}_{\\mathsf{WO}}$ assert that every well-orderable family of dense open subsets of a perfect Polish space has dense intersection, and let $\\mathsf{RS}_{\\mathsf{WO}}$ assert that for every nonempty countable partial order, there is a filter meeting every member of any given well-orderable family of dense subsets. Over $\\mathsf{ZF}$ they are shown to be equivalent. We show that in Truss's model, they characterize those $A\\subseteq2^ω$ for which every $A$-indexed family of dense open sets has dense intersection. Assuming choice for well-orderable families of nonempty sets, we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-21","reactions":{}}