{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:13:36Z","timestamp":1776888816903,"version":"3.51.2"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2006,5,5]],"date-time":"2006-05-05T00:00:00Z","timestamp":1146787200000},"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":[[2006,7]]},"DOI":"10.1007\/s00153-006-0328-0","type":"journal-article","created":{"date-parts":[[2006,5,4]],"date-time":"2006-05-04T08:58:18Z","timestamp":1146733098000},"page":"539-554","source":"Crossref","is-referenced-by-count":8,"title":["No Escape from Vardanyan's theorem"],"prefix":"10.1007","volume":"45","author":[{"given":"Albert","family":"Visser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maartje de","family":"Jonge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,5]]},"reference":[{"key":"328_CR1","first-page":"270","volume":"284","author":"Art\u00ebmov","year":"2","unstructured":"Art\u00ebmov, S.N.: Nonarithmeticity of truth predicate logics of provability. Doklady Akad. Nauk SSSR 284 (2), 270\u2013271 (1985) In Russian. English translation in Soviet Mathematics Doklady 33, 403\u2013405 (1985)","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"328_CR2","doi-asserted-by":"crossref","unstructured":"Boolos, G.: The logic of provability. Cambridge University Press, Cambridge, 1993","DOI":"10.1017\/CBO9780511625183"},{"key":"328_CR3","unstructured":"Buss, S.: Bounded Arithmetic. Bibliopolis, Napoli, 1986"},{"key":"328_CR4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0168-0072(93)90199-N","volume":"61","author":"Berarducci","year":"1993","unstructured":"Berarducci, A., Verbrugge, R.: On the provability logic of bounded arithmetic. Ann. Pure Appl. Logic 61, 75\u201393 (1993)","journal-title":"Ann. Pure Appl. Logic"},{"key":"328_CR5","unstructured":"de Jonge, M.: Vardanyan's theorem for extensions of I \u03a31. Logic Group Preprint Series 241, Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, http:\/\/preprints.phil.uu.nl\/lgps\/, 2005"},{"key":"328_CR6","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First-Order Arithmetic. Perspectives in Mathematical Logic. Springer, Berlin, Heidelberg, New York, 1991"},{"key":"328_CR7","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1070\/IM1977v011n03ABEH001731","volume":"11","author":"Plisko","year":"1977","unstructured":"Plisko, V.E.: The nonarithmeticity of the class of realizable formulas. Math. of USSR Izv. 11, 453\u2013471 (1977)","journal-title":"Math. of USSR Izv."},{"key":"328_CR8","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1070\/IM1978v012n03ABEH002005","volume":"12","author":"Plisko","year":"1978","unstructured":"Plisko, V.E.: Some variants of the notion of realizability for predicate formulas. Math. USSR Izv. 12, 588\u2013604 (1978)","journal-title":"Math. USSR Izv."},{"key":"328_CR9","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1070\/IM1984v022n02ABEH001444","volume":"22","author":"Plisko","year":"1983","unstructured":"Plisko, V.E.: Absolute realizability of predicate formulas. Math. USSR Izv. 22, 291\u2013308 (1983)","journal-title":"Math. USSR Izv."},{"key":"328_CR10","doi-asserted-by":"crossref","unstructured":"Plisko, V.E.: On arithmetic complexity of certain constructive logics. Mathematical Notes, pages 701\u2013709, 1993. Translated from Mat. Zametki, vol. 52, pp. 94\u2013104, 1992","DOI":"10.1007\/BF01247653"},{"key":"328_CR11","unstructured":"Shavrukov, V.Yu.: Subalgebras of diagonalizable algebras of theories containing arithmetic. Dissertationes mathematicae (Rozprawy matematyczne), CCCXXIII, 1993"},{"key":"328_CR12","doi-asserted-by":"crossref","first-page":"986","DOI":"10.2307\/2273663","volume":"48","author":"\u0160vejdar","year":"1983","unstructured":"\u0160vejdar, V.: Modal analysis of generalized rosser sentences. J. Symbolic Logic 48, 986\u2013999 (1983)","journal-title":"J. Symbolic Logic"},{"key":"328_CR13","first-page":"11","volume":"288","author":"Vardanyan","year":"1","unstructured":"Vardanyan, V.A.: Arithmetic comlexity of predicate logics of provability and their fragments. Doklady Akad. Nauk SSSR 288 (1), 11\u201314 (1986). In Russian. English translation in Soviet Mathematics Doklady 33, 569\u2013572 (1986)","journal-title":"Doklady Akad. Nauk SSSR"},{"key":"328_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00297579","volume":"13","author":"Visser","year":"1984","unstructured":"Visser, A.: The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic. J. Philos. Logic 13, 97\u2013113 (1984)","journal-title":"J. Philos. Logic"},{"key":"328_CR15","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF01387407","volume":"32","author":"32","year":"1993","unstructured":"Visser A.: The unprovability of small inconsistency. Arch. Math. Logic 32, 275\u2013298 (1993)","journal-title":"Arch. Math. Logic"},{"key":"328_CR16","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.apal.2004.04.008","volume":"131","author":"Visser","year":"2005","unstructured":"Visser, A.: Faith & Falsity: a study of faithful interpretations and false \u03a301-sentences. Ann. Pure Appl. Logic 131, 103\u2013131 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"328_CR17","doi-asserted-by":"crossref","first-page":"785","DOI":"10.2307\/2275908","volume":"59","author":"Verbrugge","year":"1994","unstructured":"Verbrugge, L.C., Visser, A.: A small reflection principle for bounded arithmetic. J. Symbolic Logic 59, 785\u2013812 (1994)","journal-title":"J. Symbolic Logic"},{"key":"328_CR18","doi-asserted-by":"crossref","unstructured":"Yavorsky, R.E.: Logical schemes for first order theories. In Springer LNCS (Yaroslavl'97 volume), volume 1234, pages 410\u2013418, 1997","DOI":"10.1007\/3-540-63045-7_41"},{"key":"328_CR19","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1305\/ndjfl\/1040609301","volume":"35","author":"Zambella","year":"1994","unstructured":"Zambella, D.: Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing I\u03940+EXP. Notre Dame J. Formal Logic 35, 147\u2013157 (1994)","journal-title":"Notre Dame J. Formal Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0328-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-006-0328-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0328-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:41Z","timestamp":1558640201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-006-0328-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5,5]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["328"],"URL":"https:\/\/doi.org\/10.1007\/s00153-006-0328-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5,5]]}}}