![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
Keywords: نظریه مجموعه ساختاری; primary; 03F50; 03F25; secondary; 03D65; 03B15; Constructive set theory; Limited principle of omniscience; Bar induction; Proof-theoretic strength;