View source for Talk:Proximity space

== Correct/correction ==
I can find no trace of these terms in the literature.  Are they perhaps mistranslated?  [[User:Richard Pinch|Richard Pinch]] ([[User talk:Richard Pinch|talk]]) 21:01, 6 November 2016 (CET)

:Why? Try this:
::General Topology and Its Relations to Modern Analysis and Algebra 2: Proceedings of the Second Prague Topological Symposium, 1966
::Z. Frolík, M. Katětov, V. Pták, Academic Press, 12 May 2014.
::On page 333:
:::The origins of the theory of proximity spaces can be found in the papers of Riesz [6], [18], Wallace [33] and, of Efremovic [8] ... A sufficiently elaborated theory of proximity spaces has appeared in the papers [23], [24], [25], [26].
:Also our ref [a1]:
:::S. A. Naimpally and B.D.Warrack, "Proximity Spaces",  1970, Series: Cambridge Tracts in Mathematics (No. 59).
:[[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk:Boris Tsirelson|talk]]) 21:52, 6 November 2016 (CET)

::I'm quite well acquainted wth the term ''proximity space''.  I can find no trace of the terms '''correct space''' or '''correction space''' on Zentralblatt or (in this context) on Google Books.  [[User:Richard Pinch|Richard Pinch]] ([[User talk:Richard Pinch|talk]]) 21:58, 6 November 2016 (CET)

:::Ah... I just did not note these terms in the article. [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk:Boris Tsirelson|talk]]) 06:46, 7 November 2016 (CET)

:::Here is a Russian version of our article: [http://mathemlib.ru/mathenc/item/f00/s00/e0000531/index.shtml БЛИЗОСТИ ПРОСТРАНСТВО]. There, "correct" is "правильное", and "correction" is "поправление" (the latter being rather clumsy, I feel so; "correction" sounds better). Now I wonder, whether English translations occur somewhere. [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk:Boris Tsirelson|talk]]) 07:15, 7 November 2016 (CET)