×

Shanin, Nikolaĭ Aleksandrovich

Compute Distance To:
Author ID: shanin.n-a Recent zbMATH articles by "Shanin, Nikolaĭ Aleksandrovich"
Published as: Shanin, N. A.; Shanin, M. A.; Šanin, N. A.; Shanin, N.
Homepage: https://logic.pdmi.ras.ru/~shanin/
External Links: MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef
Documents Indexed: 43 Publications since 1943, including 2 Books
4 Contributions as Editor · 3 Further Contributions
Biographic References: 7 Publications
Co-Authors: 10 Co-Authors with 10 Joint Publications
182 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 82 times in 60 Documents Cited by Year
On separation in topological spaces. Zbl 0061.39607
Shanin, N. A.
21
1943
Constructive real numbers and constructive function spaces. Zbl 0169.31101
Shanin, N. A.
12
1968
On a hierarchy of methods of understanding sentences in constructive mathematics. Zbl 0312.02028
Shanin, N. A.
8
1973
On intersection of open subsets in the product of topological spaces. Zbl 0061.39603
Shanin, N. A.
6
1946
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
5
1983
On sepcial extensions of topological spaces. Zbl 0061.39606
Shanin, N. A.
5
1943
A theorem from the general theory of sets. Zbl 0061.09206
Shanin, N. A.
5
1946
On the theory of bicompact extensions of topological spaces. Zbl 0061.39608
Shanin, N. A.
4
1943
Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics. Zbl 0934.03076
Shanin, N. A.
3
1995
On the product of topological spaces. Zbl 0061.39604
Shanin, N. A.
3
1946
On the constructive interpretation of mathematical judgments. Zbl 0121.01506
Shanin, N. A.
3
1963
On a finitary version of mathematical analysis. Zbl 0998.03047
Shanin, N. A.
1
2002
On canonical recursive functions and operations. Zbl 0429.03024
Shanin, N. A.
1
1979
On a hierarchy of methods of interpreting propositions in constructive mathematics. Zbl 0326.02025
Shanin, N. A.
1
1976
On the quantifier of limiting realizability. Zbl 0344.02025
Shanin, N. A.
1
1976
Concerning the constructive interpretation of auxiliary formulas. I. Zbl 0249.02013
Shanin, N. A.
1
1972
Einige Fragen der Analysis im Lichte der konstruktiven Logik. Zbl 0071.24601
Shanin, N. A.
1
1956
Über konstruktive lineare Funktionale in einem konstruktiven Hilbertschen Raum. Zbl 0092.01102
Shanin, N. A.
1
1959
On a finitary version of mathematical analysis. Zbl 0998.03047
Shanin, N. A.
1
2002
Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics. Zbl 0934.03076
Shanin, N. A.
3
1995
Automation of reasoning. 1: Classical papers on computational logic 1957–1966. Zbl 0567.03001
5
1983
On canonical recursive functions and operations. Zbl 0429.03024
Shanin, N. A.
1
1979
On a hierarchy of methods of interpreting propositions in constructive mathematics. Zbl 0326.02025
Shanin, N. A.
1
1976
On the quantifier of limiting realizability. Zbl 0344.02025
Shanin, N. A.
1
1976
On a hierarchy of methods of understanding sentences in constructive mathematics. Zbl 0312.02028
Shanin, N. A.
8
1973
Concerning the constructive interpretation of auxiliary formulas. I. Zbl 0249.02013
Shanin, N. A.
1
1972
Constructive real numbers and constructive function spaces. Zbl 0169.31101
Shanin, N. A.
12
1968
On the constructive interpretation of mathematical judgments. Zbl 0121.01506
Shanin, N. A.
3
1963
Über konstruktive lineare Funktionale in einem konstruktiven Hilbertschen Raum. Zbl 0092.01102
Shanin, N. A.
1
1959
Einige Fragen der Analysis im Lichte der konstruktiven Logik. Zbl 0071.24601
Shanin, N. A.
1
1956
On intersection of open subsets in the product of topological spaces. Zbl 0061.39603
Shanin, N. A.
6
1946
A theorem from the general theory of sets. Zbl 0061.09206
Shanin, N. A.
5
1946
On the product of topological spaces. Zbl 0061.39604
Shanin, N. A.
3
1946
On separation in topological spaces. Zbl 0061.39607
Shanin, N. A.
21
1943
On sepcial extensions of topological spaces. Zbl 0061.39606
Shanin, N. A.
5
1943
On the theory of bicompact extensions of topological spaces. Zbl 0061.39608
Shanin, N. A.
4
1943
all top 5

Cited by 80 Authors

3 Kalantari, Iraj
3 Margenstern, Maurice
3 Pour-El, Marian Boykan
3 Richards, Ian
3 Shanin, Nikolaĭ Aleksandrovich
3 Welch, Lawrence V.
3 Zaslavskii, Igor Dmitrievich
2 Aggarwal, Jeetendra
2 Bentley, H. Lamar
2 Boonpok, Chawalit
2 Brattka, Vasco
2 Comfort, William Wistar
2 Dorsett, Charles Irwin
2 Herrlich, Horst
2 Mints, Grigoriĭ Efroimovich
2 Noiri, Takashi
2 Singh, Davinder
2 Wilke, Gerhard
1 Aberth, Oliver George
1 Al-Omeri, Ahmad
1 Al-Omeri, Wadei Faris
1 Biswas, Jayanta
1 Bridges, Douglas Suth
1 Chernov, V. P.
1 Colebunders, Eva
1 Dantsin, E. Ya.
1 Davydov, G. V.
1 Gaines, Brian R.
1 Ge, Xun
1 Ge, Ying
1 Gerlits, János
1 Gordeev, L. N.
1 Gotchev, Ivan S.
1 Grigor’ev, Dmitriĭ Yur’evich
1 Hager, Anthony W.
1 Harris, Douglas
1 Hastings, Maryam Shayegan
1 Hirsch, Edward A.
1 Hoffmann, Rudolf- Eberhard
1 Kalamidas, N. D.
1 Karavaev, Eh. F.
1 Ko, Ker-I
1 Kohli, Jogendra K.
1 Konami, Yoshifumi
1 Konev, B. Yu.
1 Kopperman, Ralph David
1 Kossovsky, N. K.
1 Kreinovich, Vladik Yakovlevich
1 Lifschitz, Vladimir
1 Lowen, Robert
1 Malykhin, Vyacheslav Ivanovich
1 Matiyasevich, Yuriĭ Vladimirovich
1 Michael, Ernest A.
1 Mines, Ray
1 Miwa, Takuo
1 Mrówka, Stanislaw
1 Namiq, Sarhad F.
1 Noble, Norman Lee
1 Noorani, Mohd Salmi Mohd
1 Orevkov, V. P.
1 Pliuškevičius, Regimantas
1 Prasannan, A. R.
1 Reilly, Ivan Leon
1 Ríos-Herrejón, Alejandro
1 Rosas, Ennis R.
1 Rute, Jason
1 Shapirovskii, B. E.
1 Slisenko, A. O.
1 Solov’ëv, Sergeĭ Vladimirovich
1 Steiner, Anne K.
1 Steiner, E. F.
1 Steinlage, Ralph C.
1 Száz, Árpád
1 Todorcevic, Stevo B.
1 Tyagi, Brij Kishore
1 Ulmer, Milton
1 Velickovic, Boban
1 Vsemirnov, M. A.
1 Wuyts, P.
1 Zachariades, Theodossios

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.