{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:57Z","timestamp":1761611157968},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"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":[[1990,3]]},"DOI":"10.1007\/bf01634981","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T21:08:56Z","timestamp":1115413736000},"page":"113-123","source":"Crossref","is-referenced-by-count":21,"title":["The logic of \u03c01-conservativity"],"prefix":"10.1007","volume":"30","author":[{"given":"Petr","family":"H\u00e1jek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Berarducci, A.: The interpretability logic of Peano arithmetic. Thesis, University of California at Berkeley 1989 (to appear as an article J. Symb. Logic)","DOI":"10.2307\/2274474"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"de Jongh, D., Veltman, F.: Provability logics for relative interpretability. In: Proceedings of Heyting '88 (Bulgaria) (to appear)","DOI":"10.1007\/978-1-4613-0609-2_3"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1090\/S0002-9947-1979-0539907-7","volume":"254","author":"D. Guaspari","year":"1979","unstructured":"Guaspari, D.: Partially conservative extensions of arithmetic. Trans. Am. Math. Soc.254, 47\u201368 (1979)","journal-title":"Trans. Am. Math. Soc."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0003-4843(79)90017-2","volume":"16","author":"D. Guaspari","year":"1979","unstructured":"Guaspari, D., Solovay, R.M.: Rosser sentences. Ann. Math. Logic16, 81\u201399 (1979)","journal-title":"Ann. Math. Logic"},{"key":"CR5","first-page":"73","volume":"12","author":"P. H\u00e1jek","year":"1971","unstructured":"H\u00e1jek, P.: On interpretability in set theories. I, II. Commentat.Math. Univ. Carol.12, 73\u201379 (1971);13, 445\u2013455 (1972)","journal-title":"Commentat.Math. Univ. Carol."},{"key":"CR6","first-page":"677","volume":"22","author":"P. H\u00e1jek","year":"1981","unstructured":"H\u00e1jek, P.: On interpretability in theories containing arithmetic. II.Commentat.Math. Univ. Carol.22, 677\u2013688 (1981)","journal-title":"Commentat.Math. Univ. Carol."},{"key":"CR7","first-page":"679","volume":"28","author":"P. H\u00e1jek","year":"1987","unstructured":"H\u00e1jek, P.: Partial conservativity revisited. Commentat. Math. Univ. Carol.28, 679\u2013690 (1987)","journal-title":"Commentat. Math. Univ. Carol."},{"key":"CR8","unstructured":"H\u00e1jek, P.: On logic in fragments of arithmetic (manuscript)"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"576","DOI":"10.2307\/2274871","volume":"54","author":"P. H\u00e1jek","year":"1989","unstructured":"H\u00e1jek, P., Ku\u010dera, A.: On recursion theory inI\u2306 1. J. Symb. Logic54, 576\u2013589 (1989)","journal-title":"J. Symb. Logic"},{"key":"CR10","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: The metamathematics of Peano arithmetic (a book in preparation)"},{"key":"CR11","unstructured":"Savrukov, V.Yu.: The logic of relative interpretability over Peano arithmetic (preprint in Russian, Moscow 1988)"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0168-0072(85)90030-2","volume":"28","author":"W. Sieg","year":"1985","unstructured":"Sieg, W.: Fragments of arithmetic. Ann. Pure Appl. Logic28, 33\u201371 (1985)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR13","unstructured":"Smory\u0144ski, C.: An ubiquitous fixed point calculation (unpublished, 1981?)"},{"key":"CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-reference and modal logic","author":"C. Smory\u0144ski","year":"1985","unstructured":"Smory\u0144ski, C.: Self-reference and modal logic. Berlin Heidelberg New York: Springer 1985"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R.M. Solovay","year":"1976","unstructured":"Solovay, R.M.: Provability interpretations of modal logic. Isr. J. Math.25, 287\u2013304 (1976)","journal-title":"Isr. J. Math."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"986","DOI":"10.2307\/2273663","volume":"48","author":"V. Svejdar","year":"1983","unstructured":"Svejdar, V.: Modal analysis of generalized Rosser sentences. J. Symb. Logic48, 986\u2013999 (1983)","journal-title":"J. Symb. Logic"},{"key":"CR17","unstructured":"Visser, A.: Preliminary notes on interpretability logic. Logic Group Preprint Series University of Utrecht No. 29, 1988"},{"key":"CR18","unstructured":"Visser, A.: Interpretability logic. Logic Group Preprint Series University of Utrecht 1988"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01634981.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01634981\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01634981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T07:36:36Z","timestamp":1586244996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01634981"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["BF01634981"],"URL":"https:\/\/doi.org\/10.1007\/bf01634981","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}