Natural topology of an experimental domain: exactly the verifiable sets, second-countable and T0

Initializing...

Natural topology of an experimental domain: exactly the verifiable sets, second-countable and T0 · Prove2Me