{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,8]],"date-time":"2023-04-08T20:40:11Z","timestamp":1680986411225},"reference-count":53,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4246,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1016\/s0168-0072(01)00062-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T13:36:39Z","timestamp":1027604199000},"page":"261-295","source":"Crossref","is-referenced-by-count":1,"title":["On a finitary version of mathematical analysis"],"prefix":"10.1016","volume":"113","author":[{"given":"N.A.","family":"Shanin","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(01)00062-8_BIB1","doi-asserted-by":"crossref","first-page":"101","DOI":"10.2307\/1968272","article-title":"Untersuchungen \u00fcber Gestalt und Lage abgeschlossener Mengen beliebiger Dimension","volume":"30","author":"Alexandroff","year":"1929","journal-title":"Ann. Math."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB2","unstructured":"E. Bishop, Foundations of Constructive Analysis, New York, 1967."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB3","series-title":"El\u00e9ments d'histoire des math\u00e9matiques","author":"Bourbaki","year":"1960"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB4","series-title":"Gesammelte Abhandlungen","author":"Cantor","year":"1932"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB5","unstructured":"A. Church, Binary recursive arithmetic, J. Math. Pures Appl. Ser. 9, 36 (1) (1957) 39\u201355."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB6","first-page":"430","article-title":"On the fundamental theorem of algebra I","volume":"8","author":"van der Corput","year":"1946","journal-title":"Indag. Math."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB7","series-title":"What is Mathematics?","author":"Courant","year":"1941"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB8","doi-asserted-by":"crossref","first-page":"263","DOI":"10.2307\/2371522","article-title":"A formalization of recursive arithmetic","volume":"63","author":"Curry","year":"1941","journal-title":"Am. J. Math."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB9","doi-asserted-by":"crossref","unstructured":"E.Ya. Dantsin, On the approximative version of the notion of constructive analytic function, Zapiski Nauchn. Semin. LOMI 60 (1976) 49\u201358 (in Russian). (English transl.: J. Sov. Math. 14 (1980)).","DOI":"10.1007\/BF01693977"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB10","unstructured":"Phan Dinh Dieu, Constructive generalized functions, Dokl. Akad. Nauk SSSR. 174(1) (1967) 37\u201340 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB11","unstructured":"Phan Dinh Dieu, Some questions in constructive functional analysis, Trudy Matem. Inst. im. V.A. Steklova AN SSSR, 114 (1970) (in Russian). (English transl. Proc. Steklov Inst. Mathem. 114 (1974).)"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB12","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1112\/plms\/s2-48.1.401","article-title":"Function theory in an axiom-free equation calculus","volume":"48","author":"Goodstein","year":"1945","journal-title":"Proc. London Math. Soc. Ser. 2"},{"issue":"1","key":"10.1016\/S0168-0072(01)00062-8_BIB13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4064\/fm-43-1-23-35","article-title":"A constructivist theory of plane curves","volume":"43","author":"Goodstein","year":"1956","journal-title":"Fund. Math"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB14","series-title":"Recursive Number Theory","author":"Goodstein","year":"1957"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB15","series-title":"Recursive Analysis","author":"Goodstein","year":"1961"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB16","unstructured":"N.M. G\u00fcnter, On setting of some problems in mathematical physics. Scientific Notes, Mathematical Series, Vol. 10, Leningrad State University, 1940, pp. 12\u201326 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB17","doi-asserted-by":"crossref","unstructured":"A. Heyting, Mathematische Grundlagenforschung. Intuitionismus. Beweistheori, in: Ergeb. Mathem. Grenzgeb., 3(4), Berlin, 1934.","DOI":"10.1007\/978-3-642-65617-0_2"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB18","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01206605","article-title":"\u00dcber das Unendliche","volume":"95","author":"Hilbert","year":"1926","journal-title":"Math. Ann."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB19","series-title":"Grundlagen der Mathematik. I","author":"Hilbert","year":"1934"},{"issue":"3","key":"10.1016\/S0168-0072(01)00062-8_BIB20","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1016\/S1385-7258(55)50052-7","article-title":"Distributions defined from the point of view of applied mathematics","volume":"17","author":"Korevaar","year":"1955","journal-title":"Indag. Math."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB21","unstructured":"V.A. Lifshits, On investigation of constructive functions by the fillings method, Zapiski Nauchn, Semin LOMI 20 (1971) 67\u201379 (in Russian). (English transl.: J. Sov. Math. 1 (1972).)"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB22","first-page":"315","article-title":"On constructive functions","volume":"52","author":"Markov","year":"1958","journal-title":"Trudy Matem. Inst. Im. V.A. Steklova AN SSSR"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB23","first-page":"8","article-title":"On constructive mathematics","volume":"67","author":"Markov","year":"1962","journal-title":"Trudy Matem. Inst. Im. V.A. Steklova AN SSSR"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB24","unstructured":"A.A. Markov, On the logic of constructive mathematics, Znanie Publ., Moscow, 1972 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB25","unstructured":"J. Mikusinski, R. Sikorski, The Elementary Theory of Distributions. I, Warszawa, 1957."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB26","unstructured":"J. Mikusinski, R. Sikorski, The Elementary Theory of Distributions. II, Warszawa, 1961."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB27","unstructured":"G.E. Mints, On predicate and operator variants of theories of constructive mathematics, Trudy Matem. Inst. Im. V.A. Steklova AN SSSR 72 (1964) 383\u2013436 (in Russian). (English transl.: Trans. Amer. Math. Soc. 100 (1965) 1\u201368)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB28","unstructured":"G.E. Mints, Corrections and additions to \u201cOn predicate and operator variants of theories of constructive mathematics\u201d. Trudy Matem. Inst. Im. V.A. Steklova AN SSSR 93 (1967) 257\u2013258 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB29","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2371809","article-title":"Formal reductions of the general combinatorial decision problem","volume":"65","author":"Post","year":"1943","journal-title":"Am. J. Math."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB30","series-title":"Subrecursion. Functions and Hierarchies","author":"Rose","year":"1984"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB31","first-page":"27","article-title":"Some questions of mathematical analysis in view of constructive logic","volume":"2","author":"Shanin","year":"1956","journal-title":"Z. Math. Logik Grundl. Math"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB32","first-page":"1","article-title":"On linear constructive functionals in the constructive Hilbert space","volume":"5","author":"Shanin","year":"1959","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB33","unstructured":"N.A. Shanin, Constructive real numbers and constructive functional spaces, Trudy Matem. Inst. Im. V.A. Steklova AN SSSR 67 (1962) 15\u2013294 (in Russian) (English transl.: Transl. Math. Monogr. Vol. 21. AMS, Providence, RI, 1968.)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB34","volume":"Vol. 21","author":"\u0160anin","year":"1968"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB35","unstructured":"N.A. Shanin, On R.L. Goodstein's recursive mathematical analysis and calculus of equalities, in: R.L. Goodstein, Recursive Mathematical Analysis, Nauka, Moscow, 1970, pp. 7\u201376 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB36","unstructured":"N.A. Shanin, On a hierarchy of methods of interpreting propositions in constructive mathematics, Trudy Matem. Inst. Im. V.A. Steklova AN SSSR, 129 (1973) 203\u2013266. (in Russian). (English transl.: Proc. Steklov Inst. Math. 129 (1976) 209\u2013271). Essential corrections see in [39, Bibliogr.]."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB37","unstructured":"N.A. Shanin, On the quantifier of limiting realizability, Zapiski Nauchn. Semin. LOMI 60 (1976) 209\u2013220 (in Russian). (English transl.: J. Sov. Math. 20 (1982).)"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB38","unstructured":"N.A. Shanin, On canonical recursive functions and operations, Zapiski Nauchn. Semin. LOMI 88 (1979) 218\u2013235 (in Russian). (English transl.: J. Sov. Math. 20 (1982).)"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB39","first-page":"361","volume":"Vol. 122","author":"Shanin","year":"1981"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB40","unstructured":"N.A. Shanin, On majorization of theorems of constructive mathematics by semantically simple sentences, in: Int. Congr. Mathem., Short commun (Abstracts) Vol. 1, Section 1, Warszawa, Poland, 1982, p. 21 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB41","unstructured":"N.A. Shanin, On \u2018algorithmical subtext\u2019, of theorems with the classical existencial quantifier, in: 3rd Conf. \u201cApplications of Methods of Mathematical Logic\u201d. Abstracts, Tallin, 1983, pp. 115\u2013116 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB42","unstructured":"N.A. Shanin, On finitization of mathematical analysis, in: 7th All-Union Conf. on Mathematical Logic. Abstracts, Novosibirsk, 1984, pp. 198\u2013199 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB43","unstructured":"N.A. Shanin, On finitary development of mathematical analysis on the base of Euler's notion of function, in: 8th Internat. Congr. of Logic, Methodol. and Philos. of Science, Abstracts, Vol. 1, Moscow, 1987, pp. 60\u201363."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB44","unstructured":"N.A. Shanin, Finitary version of the notion of generalized function, in: 9th All-Union Conf. on Mathematical Logic, Abstracts, Leningrad, 1988, p. 179. (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB45","unstructured":"N.A. Shanin, Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics, Zapiski Nauchn. Semin. POMI, 220 (1995) 5\u201322 (English transl.: J. Math. Sci. 87(1) (1997))."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB46","unstructured":"N.A. Shanin, On operational approach of explanation to the sense of sentences, in: 5th Russian Conf. \u201cContemporary Logic: Problems of Theory, History and Applications in Science\u201d, St. Petersburg, 1998, pp. 415\u2013421 (in Russian)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB47","unstructured":"T. Skolem, Begrundung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Ver\u00e4nderlichen mit unendlichen Ausdehnungsbereich, Videnskapsselskapets skrifter, I. Matem.-naturvid. klasse. (6) (1923)."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB48","first-page":"295","article-title":"Algorithmic operators in constructive metric spaces","volume":"67","author":"Tseytin","year":"1962","journal-title":"Trudy Matem. Inst. Im. V.A. Steklova AN SSSR"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB49","first-page":"362","article-title":"Theorems on mean value in constructive analysis","volume":"67","author":"Tseytin","year":"1962","journal-title":"Trudy Matem. Inst. Im. V.A. Steklova AN SSSR"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB50","doi-asserted-by":"crossref","unstructured":"H. Weyl, Das Kontinuum, Leipzig, 1918.","DOI":"10.1515\/9783112451144"},{"key":"10.1016\/S0168-0072(01)00062-8_BIB51","unstructured":"H. Weyl, Die heutige Erkenntnisslage in der Mathematik, Sympos. I 1925."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB52","doi-asserted-by":"crossref","first-page":"523","DOI":"10.2307\/2306319","article-title":"A half-century of mathematics","volume":"58","author":"Weyl","year":"1951","journal-title":"Am. Math. Month."},{"key":"10.1016\/S0168-0072(01)00062-8_BIB53","unstructured":"I.D. Zaslavskiy, Some properties of constructive real numbers and constructive functions, Trudy Matem. Inst. Im. V.A. Steklova AN SSSR, 67 (1962) 385\u2013457."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201000628?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201000628?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,8]],"date-time":"2023-04-08T20:18:02Z","timestamp":1680985082000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007201000628"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":53,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["S0168007201000628"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(01)00062-8","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}