Takeuti-Yasumoto Forcing Revisited

DOI10.1142/9789811259296_0006MaRDI QIDQ6135565FDO

Authors Satoru Kuroda

Publication date 25 August 2023

Published in Computability Theory and Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

bounded arithmeticforcing

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

This page was built for publication: Takeuti-Yasumoto Forcing Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6135565)