Intensional semantics for comparison problems in arithmetic geometry

R. Laniewski

This work proposes a semantic environment for arithmetic geometry in which the passage between two presentations of one object carries a measurable weight, rather than dissolving i…