Title of article :
CZF and Second Order Arithmetic
Author/Authors :
Lubarsky، نويسنده , , Robert S.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Pages :
6
From page :
29
To page :
34
Abstract :
Constructive ZF + full separation is shown to be equiconsistent with Second Order Arithmetic.
Keywords :
Recursive realizability , Intuitionistic set theory , Equiconsistency
Journal title :
Annals of Pure and Applied Logic
Serial Year :
2006
Journal title :
Annals of Pure and Applied Logic
Record number :
1443775
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1443775
بازگشت