The use of Kripke's schema as a reduction principle

DOI10.2307/2272124zbMath0382.03042OpenAlexW2156951686MaRDI QIDQ4161321

Dirk van Dalen

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272124

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Related Items (5)

Intuitionistic uniformity principles for propositions and some applications ⋮ On constructive functions ranging over propositions ⋮ Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ A new model for intuitionistic analysis

Cites Work

• Formal systems for some branches of intuitionistic analysis

This page was built for publication: The use of Kripke's schema as a reduction principle