{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:22:22Z","timestamp":1775053342570,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540633853","type":"print"},{"value":"9783540698067","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63385-5_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:25:54Z","timestamp":1330298754000},"page":"233-240","source":"Crossref","is-referenced-by-count":1,"title":["Two semantics and logics based on the G\u00f6del interpretation"],"prefix":"10.1007","author":[{"given":"V.","family":"Plisko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"19_CR1","series-title":"An Introduction to the Proof Theory","volume-title":"Mathematical Intuitionism","author":"A. G. Dragalin","year":"1979","unstructured":"A. G. Dragalin: Mathematical Intuitionism. An Introduction to the Proof Theory. Nauka, Moscow, 1979"},{"key":"19_CR2","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"K. G\u00f6del: \u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes. Dialectica 12 (1958) 280\u2013287","journal-title":"Dialectica"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S. C. Kleene","year":"1945","unstructured":"S. C. Kleene: On the interpretation of intuitionistic number theory. J. Symbol. Log. 10 (1945) 109\u2013124","journal-title":"J. Symbol. Log."},{"key":"19_CR4","first-page":"108","volume":"48","author":"V. E. Plisko","year":"1990","unstructured":"V. E. Plisko: Constructive formalization of the Tennenbaum theorem and its applications. Mat. Zametki 48 (1990) 108\u2013118","journal-title":"Mat. Zametki"},{"key":"19_CR5","first-page":"94","volume":"52","author":"V. E. Plisko","year":"1992","unstructured":"V. E. Plisko: On arithmetic complexity of certain constructive logics. Mat. Zametki 52 (1992) 94\u2013104","journal-title":"Mat. Zametki"},{"key":"19_CR6","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1987","unstructured":"H. Rogers, Jr.: Theory of Recursive Functions and Effective Computability. MIT Press, Cambridge, 1987"},{"key":"19_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0066740","volume":"344","author":"A. S. Troelstra","year":"1973","unstructured":"A. S. Troelstra (ed.): Metamathematical Investigation of Intuitionistic Arithmetic and Analysis. Lect. Notes. Math. 344 (1973) 1\u2013485","journal-title":"Lect. Notes. Math."},{"key":"19_CR8","first-page":"46","volume":"136","author":"V. A. Vardanyan","year":"1988","unstructured":"V. A. Vardanyan: Bounds for the arithmetic complexity of predicate provability logics. Vopr. Kibernet. 136 (1988) 46\u201372","journal-title":"Vopr. Kibernet."}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63385-5_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:43:59Z","timestamp":1619574239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63385-5_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633853","9783540698067"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-63385-5_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}