{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T16:41:22Z","timestamp":1774629682066,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642131813","type":"print"},{"value":"9783642131820","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13182-0_29","type":"book-chapter","created":{"date-parts":[[2010,6,12]],"date-time":"2010-06-12T14:55:17Z","timestamp":1276354517000},"page":"315-326","source":"Crossref","is-referenced-by-count":3,"title":["Transfinite Sequences of Constructive Predicate Logics"],"prefix":"10.1007","author":[{"given":"Valery","family":"Plisko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"Kleene, S.C.: On the interpretation of intuitionistic number theory. Journal of Symbolic Logic\u00a010, 109\u2013124 (1945)","journal-title":"Journal of Symbolic Logic"},{"key":"29_CR2","first-page":"553","volume":"212","author":"V.E. Plisko","year":"1973","unstructured":"Plisko, V.E.: On realizable predicate formulae (Russian). Doklady Akademii Nauk SSSR\u00a0212, 553\u2013556 (1973); Translation Soviet Math. Dokl. 14, 1420\u20131424","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"29_CR3","first-page":"483","volume":"41","author":"V.E. Plisko","year":"1977","unstructured":"Plisko, V.E.: The nonarithmeticity of the class of realizable predicate formulas (Russian). Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya\u00a041, 483\u2013502 (1977); Translation Math. USSR Izvestiya 11, 453\u2013471","journal-title":"Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya"},{"key":"29_CR4","first-page":"520","volume":"214","author":"V.E. Plisko","year":"1974","unstructured":"Plisko, V.E.: Recursive realizability and constructive predicate logic (Russian). Doklady Akademii Nauk SSSR\u00a0214, 520\u2013523 (1974); Translation Soviet Math. Dokl. 15, 193\u2013197","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"29_CR5","first-page":"315","volume":"47","author":"V.E. Plisko","year":"1983","unstructured":"Plisko, V.E.: Absolute realizability of predicate formulas (Russian). Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya\u00a047, 315\u2013334 (1983); Translation Math. USSR Izvestiya 22, 291\u2013308","journal-title":"Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya"},{"key":"29_CR6","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Company, New York (1967)"},{"key":"29_CR7","first-page":"637","volume":"42","author":"V.E. Plisko","year":"1978","unstructured":"Plisko, V.E.: Some variants of the notion of realizability for predicate formulas (Russian). Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya\u00a042, 637\u2013653 (1978); Translation Math. USSR Izvestiya 12, 588\u2013604","journal-title":"Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya"}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13182-0_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:57:05Z","timestamp":1619783825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13182-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642131813","9783642131820"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13182-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}