A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Forthcoming in Indagationes Mathematicae. Abstract Kripke's Schema (better the Brouwer-Kripke Schema) and the Kreisel-Troelstra Theory of the Creating Subject were introduced around the same time for the same purpose, that of analysing Brouwer's 'Creating Subject arguments'; other applications have been found since. I first look in detail at a representative choice of Brouwer's arguments. Then I discuss the original use of the Schema and the Theory, their justification from a Brouweriandoi:10.1016/j.indag.2018.06.005 fatcat:4qgl4bi5trd6leisflx5hoyy4q