Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe☆
Under an Elsevier user license
open archive
MSC
03F25
03F55
03F65
Keywords
Explicit Mathematics, Constructive Set Theory
Realizability
Cited by (0)
- ☆
In the Russian language the word “malo” means “a little”, “not enough”.
- 1
Research supported by the Swiss National Science Foundation. This paper was completed during the author's appointment at the Institute for Informatics and Applied Mathematics, University of Bern, Switzerland, in 1998–2000, and is an updated version of the technical report [28].
Copyright © 2002 Elsevier Science B.V. All rights reserved.