A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection

From MaRDI portal
Publication:2111109

DOI10.1016/J.APAL.2022.103207OpenAlexW4307726500WikidataQ115221864 ScholiaQ115221864MaRDI QIDQ2111109

Kentaro Sato

Publication date: 23 December 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2022.103207







Cites Work




This page was built for publication: A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection