JUCS - Journal of Universal Computer Science 11(12): 2008-2033, doi: 10.3217/jucs-011-12-2008
Constructive Set Theory and Brouwerian Principles
expand article infoMichael Rathjen‡
‡ Department of Mathematics, The Ohio State University, United States of America

Corresponding author: Michael Rathjen ( rathjen@math.ohio-state.edu )

© Michael Rathjen.
This article is freely available under the J.UCS Open Content License.
Citation: Rathjen M (2005) Constructive Set Theory and Brouwerian Principles. JUCS - Journal of Universal Computer Science 11(12): 2008-2033. https://doi.org/10.3217/jucs-011-12-2008
Open Access
Keywords
constructive set theory, Brouwerian principles, partial combinatory algebra, realizability