{"id":"hexagon/2611.00064","pdf":"https://hexagonmath.org/pdf/2611.00064v1","url":"https://hexagonmath.org/abs/2611.00064v1","tags":["msc:03B20"],"score":0,"title":"Intuitionistic Compression and Optimal Verification Trees","domain":"math.LO","source":"hexagon","authors":["Zhenyu Sun","Jilin Wang"],"reviews":0,"subject":"math.LO","summary":"In strict finitistic generation semantics, a formula is assertible at a generation if some stage in its verification tree forces it. We ask when assertibility agrees with intuitionistic truth on the poset of generations. The leaves of the verification trees, ordered by generation extension, form an intuitionistic Kripke model that preserves truth at every leaf, even without atomic prevalence. For a finite bundle, compression to the generations is exact if and only if each fiber of leaves has a greatest intuitionistic theory and the map selecting these theories has the back property.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-04","reactions":{},"withdrawn":false,"authorship":"human","formalized":false,"human_understanding":"all"}