Point-Free Characterisation of Borel Sets
by Thierry Coquand
http://www.cs.chalmers.se/~coquand/./desc.ps.Z
Add To MetaCart
Abstract:
We use the completness of propositional!-logic in order to give a point-free presentation of Borel subsets of Cantor space and of (0; 1):
Citations
| 46 | Lectures on Boolean Algebras – Halmos - 1963 |
| 16 | Intuitionistic choice and classical logic – Coquand, Palmgren - 1998 |
