Ferreira, Fernando The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. (English) Zbl 1455.03077 Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020). Reviewer: Bruno Dinis (Lisboa) MSC: 03F10 03F35 03F50 03B40 03F25 × Cite Format Result Cite Review PDF Full Text: DOI
Ferreira, Fernando A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\). (English) Zbl 1337.03084 J. Symb. Log. 79, No. 1, 306-324 (2014). MSC: 03F10 03E70 × Cite Format Result Cite Review PDF Full Text: DOI