{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T13:34:38Z","timestamp":1648560878024},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf01273687","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T08:20:08Z","timestamp":1111652408000},"page":"89-102","source":"Crossref","is-referenced-by-count":0,"title":["Creative subject, Beth models and neighbourhood functions"],"prefix":"10.1007","volume":"35","author":[{"given":"Victor N.","family":"Krivtsov","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF01273687_CR1","first-page":"322","volume":"10","author":"L.E.J. Brouwer","year":"1948","unstructured":"Brouwer, L.E.J.: Essentieel negatieve eigenschappen. Indagationes Math.10, 322\u2013323 (1948)","journal-title":"Indagationes Math."},{"key":"BF01273687_CR2","first-page":"1235","volume-title":"Library of the Tenth International Congress of Philosophy, August 1948, Amsterdam, vol. I","author":"L.E.J. Brouwer","year":"1949","unstructured":"Brouwer, L.E.J.: Consciousness, philosophy and mathematics. In: Beth, E.W., et al. (eds.) Library of the Tenth International Congress of Philosophy, August 1948, Amsterdam, vol. I, pp. 1235\u20131249. Amsterdam: North-Holland 1949 A"},{"key":"BF01273687_CR3","first-page":"37","volume":"11","author":"L.E.J. Brouwer","year":"1949","unstructured":"Brouwer, L.E.J.: De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuum. Indagationes Math.11, 37\u201339 (1949 B)","journal-title":"Indagationes Math."},{"key":"BF01273687_CR4","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/S1385-7258(52)50060-X","volume":"14","author":"L.E.J. Brouwer","year":"1952","unstructured":"Brouwer, L.E.J.: Over accumulatiekernen van oneindige kernsoorten. Indagationes Math.14, 439\u2013441 (1952)","journal-title":"Indagationes Math."},{"key":"BF01273687_CR5","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S1385-7258(54)50029-6","volume":"16","author":"L.E.J. Brouwer","year":"1954","unstructured":"Brouwer, L.E.J.: Intuitionistische differentieerbaarheid. Indagationes Math.16, 201\u2013203 (1954 A)","journal-title":"Indagationes Math."},{"key":"BF01273687_CR6","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1016\/S1385-7258(54)50030-2","volume":"16","author":"L.E.J. Brouwer","year":"1954","unstructured":"Brouwer, L.E.J.: An example of contradictory in classical theory of functions. Indagationes Math.16, 204\u2013205 (1954 B)","journal-title":"Indagationes Math."},{"key":"BF01273687_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(78)90029-3","volume":"13","author":"D. Dalen van","year":"1978","unstructured":"Dalen, D.van: An interpretation of intuitionistic analysis. Ann. Math. Logic13, 1\u201341 (1978)","journal-title":"Ann. Math. Logic"},{"key":"BF01273687_CR8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-94-009-5203-4_4","volume-title":"Handbook of philosophical logic, vol. III","author":"D. Dalen van.","year":"1986","unstructured":"Dalen, D.van.: Intuitionistic logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of philosophical logic, vol. III, pp. 225\u2013339. Dordrecht: Reidel 1986"},{"key":"BF01273687_CR9","first-page":"347","volume":"11","author":"D. Dantzig van.","year":"1949","unstructured":"Dantzig, D.van.: Comments on Brouwer's theorem on essentially-negative predicates. Indagationes Math.11, 347\u2013355 (1949)","journal-title":"Indagationes Math."},{"key":"BF01273687_CR10","volume-title":"Elements of intuitionism","author":"M.A.E. Dummett","year":"1977","unstructured":"Dummett, M.A.E.: Elements of intuitionism. Oxford: Clarendon Press 1977"},{"key":"BF01273687_CR11","doi-asserted-by":"crossref","first-page":"306","DOI":"10.2307\/2272135","volume":"42","author":"D.M. Gabbay","year":"1977","unstructured":"Gabbay, D.M.: A new version of Beth semantics for intuitionistic logic. J. Symb. Logic.42, 306\u2013308 (1977)","journal-title":"J. Symb. Logic."},{"key":"BF01273687_CR12","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical investigations in Heyting's intuitionistic logic","author":"D.M. Gabbay","year":"1981","unstructured":"Gabbay, D.M.: Semantical investigations in Heyting's intuitionistic logic. Synthese Library, vol. 148. Dordrecht: Reidel 1981"},{"key":"BF01273687_CR13","volume-title":"Intuitionism. An introduction","author":"A. Heyting","year":"1971","unstructured":"Heyting, A.: Intuitionism. An introduction, 3rd rev. edn. Amsterdam: North-Holland 1971","edition":"3rd rev. edn."},{"key":"BF01273687_CR14","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/S0049-237X(08)71525-8","volume-title":"Problems in the philosophy of mathematics","author":"G. Kreisel","year":"1967","unstructured":"Kreisel, G.: Informal rigour and completeness proofs. In: Lakatos, I. (ed.) Problems in the philosophy of mathematics, pp. 138\u2013171. Amsterdam: North-Holland 1967"},{"key":"BF01273687_CR15","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1016\/S0049-237X(08)71685-9","volume-title":"Formal systems and recursive functions","author":"S.A. Kripke","year":"1965","unstructured":"Kripke, S.A.: Semantical analysis of intuitionistic logic I. In: Grossley, J., Dummett, M.A.E. (eds.) Formal systems and recursive functions, pp. 92\u2013130. Amsterdam: North-Holland 1965"},{"key":"BF01273687_CR16","first-page":"280","volume":"35","author":"J. Myhill","year":"1967","unstructured":"Myhill, J.: Notes towards an axiomatization of intuitionistic analysis. Logique et analyse35, 280\u2013297 (1967)","journal-title":"Logique et analyse"},{"key":"BF01273687_CR17","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0049-237X(08)71193-5","volume-title":"Logic, methodology and philosophy of science, vol. III","author":"J. Myhill","year":"1968","unstructured":"Myhill, J.: Formal systems of intuitionistic analysis I. In: van Rootselaar, B., Staal, J. (eds.) Logic, methodology and philosophy of science, vol. III, pp. 161\u2013178. Amsterdam: North-Holland 1968"},{"key":"BF01273687_CR18","first-page":"151","volume-title":"Intuitionism and proof theory","author":"J. Myhill","year":"1970","unstructured":"Myhill, J.: Formal systems of intuitionistic analysis II. In: Kino, A., et al. (eds.) Intuitionism and proof theory, pp. 151\u2013162. Amsterdam: North-Holland 1970"},{"key":"BF01273687_CR19","first-page":"187","volume-title":"Intuitionism and proof theory","author":"B. Rootselaar van.","year":"1970","unstructured":"Rootselaar, B.van.: On subjective mathematical assertions. In: Kino, A., et al. (eds.) Intuitionism and proof theory, pp. 187\u2013196. Amsterdam: North-Holland 1970"},{"key":"BF01273687_CR20","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1017\/S0022481200051215","volume":"41","author":"H. Swart de.","year":"1976","unstructured":"Swart, H.de.: Another intuitionistic completeness proof. J. Symb. Logic41, 644\u2013662 (1976)","journal-title":"J. Symb. Logic"},{"key":"BF01273687_CR21","volume-title":"Constructivism in mathematics, vols. I and II","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics, vols. I and II. Amsterdam: North-Holland 1988"},{"key":"BF01273687_CR22","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0080643","volume-title":"Principles of intuitionism","author":"A.S. Troelstra","year":"1969","unstructured":"Troelstra, A.S.: Principles of intuitionism. Lect. Notes Math., vol. 95. Berlin Heidelberg New York: Springer 1969"},{"key":"BF01273687_CR23","volume-title":"Choice sequences, a chapter of intuitionistic mathematics","author":"A.S. Troelstra","year":"1977","unstructured":"Troelstra, A.S.: Choice sequences, a chapter of intuitionistic mathematics. Oxford: Clarendon Press 1977"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01273687.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01273687\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01273687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T18:14:42Z","timestamp":1556648082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01273687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF01273687"],"URL":"https:\/\/doi.org\/10.1007\/bf01273687","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}