{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:47:41Z","timestamp":1648921661680},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":11607,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1982,6]]},"abstract":"<jats:p>We distinguish between two kinds of mathematical assertions: <jats:italic>objective<\/jats:italic> and <jats:italic>constructive<\/jats:italic>. An objective assertion describes the universe of mathematical objects; a constructive one describes the (idealized) mathematician's ability to find mathematical objects with various properties. The familiar formalizations of classical mathematics are based on formal languages designed for expressing objective assertions only. The constructivist program stresses, on the contrary, the importance of constructive assertions; moreover, intuitionism claims that constructive activities of the mind constitute the very subject matter of mathematics, and thus questions the semantic status of objective assertions.<\/jats:p><jats:p>The purpose of this paper is to show that classical mathematics can be <jats:italic>extended<\/jats:italic> to include constructive sentences, so that both objective and constructive properties can be discussed in the framework of the same theory. To achieve this goal, we introduce a new property of mathematical objects, <jats:italic>calculability<\/jats:italic>.<\/jats:p><jats:p>The word \u201ccalculable\u201d may be applied to objects of various types: natural numbers, integers, rational or real numbers, polynomials with rational or real coefficients, etc. In each case it has a different meaning, so that actually we define not one, but many new properties.<\/jats:p>","DOI":"10.2307\/2273147","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T21:59:42Z","timestamp":1146952782000},"page":"359-387","source":"Crossref","is-referenced-by-count":6,"title":["Constructive assertions in an extension of classical mathematics"],"prefix":"10.1017","volume":"47","author":[{"given":"Vladimir","family":"Lifschitz","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200044297_ref014","volume-title":"Algebra","author":"van der Waerden","year":"1970"},{"key":"S0022481200044297_ref013","first-page":"226","article-title":"On the constructive interpretation of mathematical judgments","volume":"52","author":"Shanin","year":"1958","journal-title":"Trudy Matematiceskogo Institute im V.A. Steklov"},{"key":"S0022481200044297_ref011","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1954-0063328-5"},{"key":"S0022481200044297_ref010","volume-title":"Lecture Notes in Mathematics","volume":"344","author":"Troelstra","year":"1973"},{"key":"S0022481200044297_ref009","first-page":"8","article-title":"On constructive mathematics","volume":"67","author":"Markov","year":"1962","journal-title":"Trudy Matemati\u010deskogo Institute im V.A. Steklov"},{"key":"S0022481200044297_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066772"},{"key":"S0022481200044297_ref006","volume-title":"Introduction to metamathematics","author":"Kleene","year":"1952"},{"key":"S0022481200044297_ref004","volume-title":"Handbook of mathematical logic","author":"Barwise","year":"1977"},{"key":"S0022481200044297_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71229-1"},{"key":"S0022481200044297_ref002","volume-title":"Introduction to mathematical logic. I","author":"Church","year":"1956"},{"key":"S0022481200044297_ref001","volume-title":"Foundations of constructive analysts","author":"Bishop","year":"1967"},{"key":"S0022481200044297_ref012","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S0022481200044297_ref008","unstructured":"Lifschitz V. , Calculable natural numbers (to appear)."},{"key":"S0022481200044297_ref005","volume-title":"Intuitionism, an introduction","author":"Heyting","year":"1956"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200044297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T21:16:07Z","timestamp":1558732567000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200044297\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,6]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1982,6]]}},"alternative-id":["S0022481200044297"],"URL":"https:\/\/doi.org\/10.2307\/2273147","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,6]]}}}