{"id":"arxiv/2609.32078","url":"https://arxiv.org/abs/2609.32078","tags":["math.LO"],"score":0,"title":"Oracle-Tree Forcing and Wilfs Inequality for Thirteen Left Elements","domain":"math.LO","source":"arxiv","authors":["Michel Gaspar"],"reviews":0,"subject":"math.LO","summary":"We study filter-Laver forcing on omegaxomega with successor sets containing final quadrants. The observation retaining the minimum coordinate and orientation is a complete projection. Its finite nontrivial hidden-label quotients are Cohen, whereas the full offset quotient has Boolean density equal to the ground-model dominating number dV . For the associated grid-meager ideal I_box, we prove cov(I_box) = add(M) for the usual meager ideal M, and obtain further cardinal bounds. We also analyze threshold games, oracle degrees and the distinction between positive and filter-large certificate…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}