{"id":"arxiv/2607.15958","url":"https://arxiv.org/abs/2607.15958","tags":["math.LO"],"score":0,"title":"Logical Metatheorems for Abstract Spaces axiomatized in Positive Bounded Logic II: Metric spaces and the model-theoretic uniformity principle","domain":"math.LO","source":"arxiv","authors":["Ulrich Kohlenbach","Morenikeji Neri","Jin Wei"],"reviews":0,"subject":"math.LO","summary":"We extend the proof-theoretic treatment of uniform bound extraction from normed structures axiomatized in positive bounded logic [Advances in Mathematics, 290:503-551, 2016] (as developed for the model theory of Banach spaces) to the more general setting of abstract metric structures, including discrete structures viewed as classical first-order models. In particular, we establish uniform bound extraction theorems for our generalized framework for $\\forall\\exists$-sentences whose matrix is the negation of (an embedding of) a formula in positive bounded logic, whose proofs use saturation. In…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}