{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T17:48:05Z","timestamp":1648662485098},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"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":[[1988,9]]},"DOI":"10.1007\/bf01620761","type":"journal-article","created":{"date-parts":[[2005,4,30]],"date-time":"2005-04-30T17:12:52Z","timestamp":1114881172000},"page":"115-133","source":"Crossref","is-referenced-by-count":2,"title":["Rosser and mostowski sentences"],"prefix":"10.1007","volume":"27","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Sommaruga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"221","DOI":"10.4064\/fm-124-3-221-233","volume":"CXXIV","author":"C. Bernardi","year":"1984","unstructured":"Bernardi, C., Montagna, F.: Equivalence relations induced by extensional formulae. Fundam. Math.CXXIV, 221\u2013233 (1984)","journal-title":"Fundam. Math."},{"key":"CR2","volume-title":"The unprovability of consistency","author":"G. Boolos","year":"1979","unstructured":"Boolos, G.: The unprovability of consistency. Cambridge: Cambridge University Press 1979"},{"key":"CR3","unstructured":"Carlson, T.: Modal logics with several operators and provability interpretations"},{"key":"CR4","unstructured":"De Jongh, D.H.J.: A simplification of a completeness proof of Guaspari and Solovay"},{"key":"CR5","unstructured":"De Jongh, D.H.J., Montagna, F.: Generic generalized Rosser fixed points"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"777","DOI":"10.2307\/2273471","volume":"48","author":"D. Guaspari","year":"1983","unstructured":"Guaspari, D.: Sentences implying their own provability. J. Symb. Logic48, 777\u2013789 (1983)","journal-title":"J. Symb. Logic"},{"key":"CR7","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.: Rosser sentences. Ann. Math. Logic16, 81\u201399 (1979)","journal-title":"Ann. Math. Logic"},{"key":"CR8","first-page":"795","volume":"B 16","author":"F. Montagna","year":"1979","unstructured":"Montagna, F.: On the diagonalizable algebra of Peano Arithmetic. Boll. Unione Mat. Ital. V. Ser.,B 16, 795\u2013812 (1979)","journal-title":"Boll. Unione Mat. Ital. V. Ser."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"205","DOI":"10.4064\/fm-49-2-205-232","volume":"49","author":"A. Mostowski","year":"1961","unstructured":"Mostowski, A.: A generalization of the incompleteness theorem. Fundam. Math.49, 205\u2013232 (1961)","journal-title":"Fundam. Math."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Rosser, J.B.: Extensions of some theorems of G\u00f6del and Church. J. Symb. Logic 87\u201391 (1936)","DOI":"10.2307\/2269028"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02123402","volume":"35","author":"G. Sambin","year":"1976","unstructured":"Sambin, G.: An effective fixed point theorem in intuitionistic diagonalizable algebras. Stud. Logica35, 345\u2013361 (1976)","journal-title":"Stud. Logica"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01974157","volume":"5","author":"J. Shepherdson","year":"1960","unstructured":"Shepherdson, J.: Representability of recursively enumerable sets in formal systems. Arch. F. Math. Logik5, 119\u2013127 (1960)","journal-title":"Arch. F. Math. Logik"},{"key":"CR13","unstructured":"Smorynski, C.: Bimodal logic and arithmetic"},{"key":"CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self reference and modal logic","author":"C. Smorynski","year":"1985","unstructured":"Smorynski, C.: Self reference and modal logic. Berlin Heidelberg New York Tokyo: Springer 1985"},{"key":"CR15","volume-title":"Handbook of philosophical logic II","author":"C. Smorynski","year":"1984","unstructured":"Smorynski, C.: Modal logic and self-reference. In Gabbay, D., Guenthner, F. (eds.) Handbook of philosophical logic II. Dordrecht: Reidel 1984"},{"key":"CR16","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":"CR17","doi-asserted-by":"crossref","unstructured":"Visser, A.: The provability logic of recursively enumerable theories extending Peano Arithmetic at arbitrary theories extending Peano Arithmetic. J. Philos. Logic13 (1984)","DOI":"10.1007\/BF00297579"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01620761.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01620761\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01620761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T18:30:39Z","timestamp":1557253839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01620761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF01620761"],"URL":"https:\/\/doi.org\/10.1007\/bf01620761","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}