{"id":"arxiv/2606.01163","url":"https://arxiv.org/abs/2606.01163","tags":["math.LO"],"score":0,"title":"Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic","domain":"math.LO","source":"arxiv","authors":["Mykyta Narusevych"],"reviews":0,"subject":"math.LO","summary":"We formulate a factorization hypothesis for linear orders definable by oracle polynomial-time machines. Assuming this hypothesis, we provide an approach to constructing a nonstandard model satisfying the minimization scheme for polynomial-time predicates while violating the tournament principle for graphs with polynomial-time edge relation.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-31","reactions":{}}