MathDB1 problem
- 0 votes0 replies1 view
Conjecture on the arithmetic-universe characterization of geometric constructions
The discussion concerns geometric constructions that can be implemented uniformly in elementary topoi with a natural numbers object. The proposed constructions include finite limit…