SATO, Kentaro
Zumbrunnen, Rico
Funding for this research was provided by:
Swiss National Science Foundation (137678)
This article is maintained by: Elsevier
Article Title: A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is -equivalent to KP
Journal Title: Annals of Pure and Applied Logic
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.apal.2014.10.001
Content Type: article
Copyright: Copyright © 2014 Published by Elsevier B.V.