{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T13:22:04Z","timestamp":1762262524295,"version":"build-2065373602"},"reference-count":0,"publisher":"European Mathematical Society - EMS - Publishing House GmbH","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Port. Math."],"published-print":{"date-parts":[[2020,12,22]]},"abstract":"<jats:p>This is a short paper describing how a herbrandized functional interpretation can give a new treatment of some issues in classical second-order arithmetic. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite sets of natural numbers.<\/jats:p>","DOI":"10.4171\/pm\/2056","type":"journal-article","created":{"date-parts":[[2020,12,22]],"date-time":"2020-12-22T17:45:19Z","timestamp":1608659119000},"page":"399-408","source":"Crossref","is-referenced-by-count":2,"title":["Weak K\u00f6nig\u2019s lemma in herbrandized classical second-order arithmetic"],"prefix":"10.4171","volume":"77","author":[{"given":"Fernando","family":"Ferreira","sequence":"first","affiliation":[{"name":"Universidade de Lisboa, Portugal"}]}],"member":"2673","container-title":["Portugaliae Mathematica"],"original-title":[],"link":[{"URL":"https:\/\/www.ems-ph.org\/fulltext\/10.4171\/PM\/2056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T13:12:55Z","timestamp":1762261975000},"score":1,"resource":{"primary":{"URL":"https:\/\/ems.press\/doi\/10.4171\/pm\/2056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,22]]},"references-count":0,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.4171\/pm\/2056","relation":{},"ISSN":["0032-5155","1662-2758"],"issn-type":[{"type":"print","value":"0032-5155"},{"type":"electronic","value":"1662-2758"}],"subject":[],"published":{"date-parts":[[2020,12,22]]}}}