Indecomposability of ℝ and ℝ \ {0} in Constructive Reverse Mathematics.

Autor: Loeb, Iris1 I.Loeb@math.canterbury.ac.nz
Zdroj: Logic Journal of the IGPL. Jun2008, Vol. 16 Issue 3, p269-273. 5p.
Databáze: Business Source Ultimate