Pages that link to "Item:Q4161321"
From MaRDI portal
The following pages link to The use of Kripke's schema as a reduction principle (Q4161321):
Displaying 5 items.
- A new model for intuitionistic analysis (Q750439) (← links)
- Intuitionistic uniformity principles for propositions and some applications (Q1153079) (← links)
- On constructive functions ranging over propositions (Q1153081) (← links)
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics (Q1740612) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
