Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kronecker's density theorem and irrational numbers in constructive reverse mathematics |
scientific article |
Statements
Kronecker's density theorem and irrational numbers in constructive reverse mathematics (English)
0 references
7 May 2010
0 references
