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 |
| ISSN: | 14359855 |
|---|---|
| DOI: | 10.4171/JEMS/1522 |
