An isomorphism theorem for models of weak König’s lemma without primitive recursion.
Saved in:
| Title: | An isomorphism theorem for models of weak König’s lemma without primitive recursion. |
|---|---|
| Authors: | Fiori-Carones, Marta1 marta.fioricarones@outlook.it, Kołodziejczyk, Leszek Aleksander1 lak@mimuw.edu.pl, Wong, Tin Lok2 matwong@nus.edu.sg, Yokoyama, Keita3 keita.yokoyama.c2@tohoku.ac.jp |
| Source: | Journal of the European Mathematical Society (EMS Publishing). 2026, Vol. 28 Issue 7, p3203-3233. 31p. |
| Database: | Mathematics Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: msf DbLabel: Mathematics Source An: 193263760 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: An isomorphism theorem for models of weak König’s lemma without primitive recursion. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Fiori-Carones%2C+Marta%22">Fiori-Carones, Marta</searchLink><relatesTo>1</relatesTo><i> marta.fioricarones@outlook.it</i><br /><searchLink fieldCode="AR" term="%22Kołodziejczyk%2C+Leszek+Aleksander%22">Kołodziejczyk, Leszek Aleksander</searchLink><relatesTo>1</relatesTo><i> lak@mimuw.edu.pl</i><br /><searchLink fieldCode="AR" term="%22Wong%2C+Tin+Lok%22">Wong, Tin Lok</searchLink><relatesTo>2</relatesTo><i> matwong@nus.edu.sg</i><br /><searchLink fieldCode="AR" term="%22Yokoyama%2C+Keita%22">Yokoyama, Keita</searchLink><relatesTo>3</relatesTo><i> keita.yokoyama.c2@tohoku.ac.jp</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+the+European+Mathematical+Society+%28EMS+Publishing%29%22">Journal of the European Mathematical Society (EMS Publishing)</searchLink>. 2026, Vol. 28 Issue 7, p3203-3233. 31p. |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=msf&AN=193263760 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.4171/JEMS/1522 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 31 StartPage: 3203 Titles: – TitleFull: An isomorphism theorem for models of weak König’s lemma without primitive recursion. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Fiori-Carones, Marta – PersonEntity: Name: NameFull: Kołodziejczyk, Leszek Aleksander – PersonEntity: Name: NameFull: Wong, Tin Lok – PersonEntity: Name: NameFull: Yokoyama, Keita IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 07 Text: 2026 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 14359855 Numbering: – Type: volume Value: 28 – Type: issue Value: 7 Titles: – TitleFull: Journal of the European Mathematical Society (EMS Publishing) Type: main |
| ResultId | 1 |