{"id":"arxiv/2610.15018","url":"https://arxiv.org/abs/2610.15018","tags":["math.LO"],"score":0,"title":"Nonstandard combinatorial ultrafilters and a new local witness model","domain":"math.LO","source":"arxiv","authors":["Johannes Heil","Moritz Müller"],"reviews":0,"subject":"math.LO","summary":"A central object in the theory of proof complexity generators is Krajicek's local witness model. We construct a new such model as a definable ultrapower using a definable version of a selective ultrafilter over a model of arithmetic. We transfer some set theory of combinatorial ultrafilters to the definable nonstandard setting.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-10","reactions":{}}