MathDB1 problem
- 0 votes0 replies0 views
The non-implication of discrete infinity from the localic Axiom of Infinity
The discussion concerns an axiomatic approach to locale theory in which a proposed Axiom of Infinity for locales is symmetric under open/proper duality. In this setting, the non-im…