{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T15:53:49Z","timestamp":1721922829519},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":2018,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2008,9]]},"abstract":"Abstract<\/jats:title>In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the closed fragment of the provability logic of Heyting's Arithmetic plus Markov's Principle and Heyting's Arithmetic plus Primitive Recursive Markov's Principle.<\/jats:p>","DOI":"10.2178\/jsl\/1230396766","type":"journal-article","created":{"date-parts":[[2008,12,27]],"date-time":"2008-12-27T16:52:45Z","timestamp":1230396765000},"page":"1081-1096","source":"Crossref","is-referenced-by-count":3,"title":["Closed Fragments of Provability Logics of Constructive Theories"],"prefix":"10.1017","volume":"73","author":[{"given":"Albert","family":"Visser","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200004369_ref015","volume-title":"Propositional combinations of \u03a3-sentences in Heyting's Arithmetic","author":"Visser","year":"1994"},{"key":"S0022481200004369_ref014","volume-title":"Evaluation, provably deductive equivalence in Heyting's Arithmetic of substitution instances of propositional formulas","author":"Visser","year":"1985"},{"key":"S0022481200004369_ref011","volume-title":"Constructivism in mathematics, vol 1","volume":"121","author":"Troelstra","year":"1988"},{"key":"S0022481200004369_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8601-8"},{"key":"S0022481200004369_ref001","first-page":"779","volume":"41","author":"Boolos","year":"1976","journal-title":"On deciding the truth of certain statements involving the notion of consistency"},{"key":"S0022481200004369_ref005","first-page":"113","volume":"40","author":"Friedman","year":"1975","journal-title":"One hundred and two problems in mathematical logic"},{"key":"S0022481200004369_ref007","volume-title":"Categories for the working mathematician","author":"MacLane","year":"1971"},{"key":"S0022481200004369_ref004","first-page":"187","volume-title":"Embeddings of Heyting algebras","author":"de Jongh"},{"key":"S0022481200004369_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066739"},{"key":"S0022481200004369_ref006","doi-asserted-by":"crossref","volume-title":"Logic: from foundations to applications","author":"Hodges","year":"1996","DOI":"10.1093\/oso\/9780198538622.001.0001"},{"key":"S0022481200004369_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066744"},{"key":"S0022481200004369_ref012","unstructured":"van Benthem J. F. A. K. , Doctoral Thesis, 1974, Manuscript, Mathematical Institute, University of Amsterdam."},{"key":"S0022481200004369_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370383"},{"key":"S0022481200004369_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(82)90024-9"},{"key":"S0022481200004369_ref017","first-page":"1311","volume":"71","author":"Visser","year":"2006","journal-title":"Predicate logics of constructive arithmetical theories"},{"key":"S0022481200004369_ref002","volume-title":"The logic of provability","author":"Boolos","year":"1993"},{"key":"S0022481200004369_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00081-1"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200004369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T20:07:21Z","timestamp":1709842041000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200004369\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["S0022481200004369"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1230396766","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9]]}}}