{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:07Z","timestamp":1725455647436},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540571841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022556","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"71-82","source":"Crossref","is-referenced-by-count":5,"title":["The logic of the G\u00f6del proof predicate"],"prefix":"10.1007","author":[{"given":"Sergei","family":"Art\u00ebmov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tyko","family":"Stra\u00dfen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"S. Art\u00ebmov, \u201cExtensions of arithmetic and connected with them modal theories,\u201d VI IMPS Congress, Hannover, pp. 15\u201319, 1979. Section 1."},{"issue":"no.14","key":"10_CR2","first-page":"115","volume":"14","author":"S. Art\u00ebmov","year":"1980","unstructured":"S. Art\u00ebmov, \u201cArifmeticheski polnyje modal'nyje teorii; Russian (Arithmetically complete modal theories),\u201d Semiotika i informatika (Semiotics and Information Science), vol. 14, no. 14, pp. 115\u2013133, 1980. Translation: AMS Transi. (2), vol 135, 1987, pp. 39\u201354, Akad. Nauk SSSR, VINiTI, Moscow.","journal-title":"Semiotika i informatika (Semiotics and Information Science)"},{"key":"10_CR3","volume-title":"Tech. Rep. IAM 92-018","author":"S. Art\u00ebmov","year":"1992","unstructured":"S. Art\u00ebmov and T. Stra\u00dfen, \u201cThe Basic Logic of Proofs,\u201d Tech. Rep. IAM 92-018, Department for computer science, University of Berne, Switzerland, September 1992."},{"key":"10_CR4","volume-title":"Tech. Rep. IAM 93-004","author":"S. Art\u00ebmov","year":"1993","unstructured":"S. Art\u00ebmov and T. Stra\u00dfen, \u201cFunctionality in the Basic Logic of Proofs,\u201d Tech. Rep. IAM 93-004, Department for computer science, University of Berne, Switzerland, January 1993."},{"key":"10_CR5","series-title":"6th Workshop, CSL'92","first-page":"14","volume-title":"Computer Science Logic, Lecture Notes in Computer Science","author":"S. Art\u00ebmov","year":"1992","unstructured":"S. Art\u00ebmov and T. Stra\u00dfen, \u201cThe Basic Logic of Proofs,\u201d in Computer Science Logic, Lecture Notes in Computer Science, pp. 14\u201328, 6th Workshop, CSL'92, San Miniato, Italy, October 1992, Springer-Verlag, 1993."},{"key":"10_CR6","volume-title":"The unprovability of consistency: an essay in modal logic","author":"G. Boolos","year":"1979","unstructured":"G. Boolos, The unprovability of consistency: an essay in modal logic. Cambridge: Cambridge University Press, 1979."},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2273393","volume":"47","author":"G. Boolos","year":"1982","unstructured":"G. Boolos, \u201cExtremely undecidable sentences,\u201d Journal of Symbolic Logic, vol. 47, pp. 191\u2013196, Mar. 1982.","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR8","unstructured":"S. Kleene, Introduction to Metamathematics. North-Holland, 1952."},{"issue":"no.5","key":"10_CR9","first-page":"795","volume":"16-B","author":"F. Montagna","year":"1979","unstructured":"F. Montagna, \u201cOn the diagonalizable algebra of Peano arithmetic,\u201d Bollettino della Unione Matematica Italiana, vol. 16-B, no. 5, pp. 795\u2013812, 1979.","journal-title":"Bollettino della Unione Matematica Italiana"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1016\/S0049-237X(08)71123-6","volume-title":"Handbook of Mathematical Logic","author":"C. Smory\u0144ski","year":"1977","unstructured":"C. Smory\u0144ski, \u201cThe incompleteness theorems,\u201d in Handbook of Mathematical Logic (J. Barwise, ed.), ch. D.1, S3, pp. 821\u2013865, North-Holland, Amsterdam, 1977."},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R. M. Solovay","year":"1976","unstructured":"R. M. Solovay, \u201cProvability interpretations of modal logic,\u201d Israel Journal of Mathematics, vol. 25, pp. 287\u2013304, 1976.","journal-title":"Israel Journal of Mathematics"},{"key":"10_CR12","unstructured":"A. Visser, Aspects of Diagonalization and Provability. PhD thesis, University of Utrecht, 1981."}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022556.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:48:58Z","timestamp":1607550538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0022556","relation":{},"subject":[]}}