{"id":"arxiv/2603.20905","url":"https://arxiv.org/abs/2603.20905","tags":["math.LO"],"score":0,"title":"Combinatorial Properties Related to the Higher Baumgartner's Axiom","domain":"math.LO","source":"arxiv","authors":["John Krueger"],"reviews":0,"subject":"math.LO","summary":"We isolate two combinatorial properties, each expressible by a $Π_2$-sentence over the structure $(H(ω_3),\\in,ω_1,ω_2,\\text{NS}_{ω_2})$, such that each property is consistent with CH, and their conjunction together with $2^ω\\le ω_2$ and $2^{ω_1} = 2^{ω_2} = ω_3$ implies the existence of a c.c.c. forcing which forces the higher Baumgartner's axiom.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-21","reactions":{}}