An independent statement about metric spaces.
Machover, Maurice
Notre Dame J. Formal Logic, Tome 17 (1976) no. 1, p. 131-134 / Harvested from Project Euclid
Publié le : 1976-01-14
Classification:  02K05,  54E35
@article{1093887431,
     author = {Machover, Maurice},
     title = {An independent statement about metric spaces.},
     journal = {Notre Dame J. Formal Logic},
     volume = {17},
     number = {1},
     year = {1976},
     pages = { 131-134},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093887431}
}
Machover, Maurice. An independent statement about metric spaces.. Notre Dame J. Formal Logic, Tome 17 (1976) no. 1, pp.  131-134. http://gdmltest.u-ga.fr/item/1093887431/