TY  - RPRT
TI  - Logical Metatheorems for Abstract Spaces axiomatized in Positive Bounded Logic II: Metric spaces and the model-theoretic uniformity principle
AU  - Ulrich Kohlenbach
AU  - Morenikeji Neri
AU  - Jin Wei
PY  - 2026
UR  - https://arxiv.org/abs/2607.15958
ID  - 2607.15958
ER  -