A coverage construction of the reals and the irrationals (Q866562)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A coverage construction of the reals and the irrationals |
scientific article |
Statements
A coverage construction of the reals and the irrationals (English)
0 references
14 February 2007
0 references
coverage
0 references
nucleus
0 references
closure ordinal
0 references
point-free techniques
0 references
