{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T15:35:16Z","timestamp":1747150516577,"version":"3.40.5"},"reference-count":16,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T00:00:00Z","timestamp":1631491200000},"content-version":"vor","delay-in-days":43,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2021,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Based on the paper [4] we show that true second\u2010order arithmetic is interpretable over the real\u2010algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting\u00a0algebras.<\/jats:p>","DOI":"10.1002\/malq.202000048","type":"journal-article","created":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T09:40:23Z","timestamp":1631526023000},"page":"329-341","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Encoding true second\u2010order arithmetic in the real\u2010algebraic structure of models of intuitionistic elementary analysis"],"prefix":"10.1002","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2253-6629","authenticated-orcid":false,"given":"Mikl\u00f3s","family":"Erd\u00e9lyi\u2010Szab\u00f3","sequence":"first","affiliation":[{"name":"R\u00e9nyi Alfr\u00e9d Institute of Mathematics 1053 Budapest, Re\u00e1ltanoda u. 13\u201015"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2021,9,13]]},"reference":[{"key":"e_1_2_8_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0090160"},{"key":"e_1_2_8_3_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275579"},{"key":"e_1_2_8_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19980440305"},{"key":"e_1_2_8_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/2586686"},{"volume-title":"Intuitionism. An Introduction","year":"1956","author":"Heyting A.","key":"e_1_2_8_6_1"},{"volume-title":"The Foundations of Intuitionistic Mathematics","year":"1965","author":"Kleene S. C.","key":"e_1_2_8_7_1"},{"key":"e_1_2_8_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19780242507"},{"key":"e_1_2_8_9_1","first-page":"261","article-title":"A topological interpretation of second\u2010order intuitionistic arithmetic","volume":"26","author":"Moschovakis J. R.","year":"1973","journal-title":"Compos. Math."},{"key":"e_1_2_8_10_1","first-page":"194","article-title":"Extending the topological interpretation to intuitionistic analysis","volume":"20","author":"Scott D. S.","year":"1968","journal-title":"Compos. Math."},{"key":"e_1_2_8_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70755-9"},{"key":"e_1_2_8_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(84)90030-7"},{"key":"e_1_2_8_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(86)90023-0"},{"key":"e_1_2_8_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90067-C"},{"key":"e_1_2_8_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00059-1"},{"key":"e_1_2_8_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271732"},{"volume-title":"Choice Sequences. A Chapter of Intuitionistic Mathematics","year":"1977","author":"Troelstra A. S.","key":"e_1_2_8_17_1"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.202000048","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/malq.202000048","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.202000048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T23:22:03Z","timestamp":1693351323000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.202000048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["10.1002\/malq.202000048"],"URL":"https:\/\/doi.org\/10.1002\/malq.202000048","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"type":"print","value":"0942-5616"},{"type":"electronic","value":"1521-3870"}],"subject":[],"published":{"date-parts":[[2021,8]]},"assertion":[{"value":"2020-07-06","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-02-02","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-09-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}