Takeuti-Yasumoto Forcing Revisited
From MaRDI portal
Publication:6135565
DOI10.1142/9789811259296_0006MaRDI QIDQ6135565FDOQ6135565
Authors: Satoru Kuroda
Publication date: 25 August 2023
Published in: Computability Theory and Foundations of Mathematics (Search for Journal in Brave)
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)