Title of article
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe Original Research Article
Author/Authors
Sergei Tupailo، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
32
From page
165
To page
196
Abstract
We define a realizability interpretation of Aczelʹs Constructive Set Theory CZF into Explicit Mathematics. The final results are that CZF extended by Mahlo principles is realizable in corresponding extensions of View the MathML source, thus providing relative lower bounds for the proof-theoretic strength of the latter.
Keywords
Explicit mathematics , Realizability , Constructive Set Theory
Journal title
Annals of Pure and Applied Logic
Serial Year
2003
Journal title
Annals of Pure and Applied Logic
Record number
889890
Link To Document