Pages that link to "Item:Q1740613"

The following pages link to The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613):

Displayed 2 items.

• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) ‎ (← links)
• PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) ‎ (← links)