@misc{indiciae0c3e50dedf32,
  title = {Logical Metatheorems for Abstract Spaces axiomatized in Positive Bounded Logic II: Metric spaces and the model-theoretic uniformity principle},
  author = {Ulrich Kohlenbach and Morenikeji Neri and Jin Wei},
  year = {2026},
  url = {https://arxiv.org/abs/2607.15958},
  note = {Source identifier: 2607.15958}
}