Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleA model of intuitionistic analysis in which.AuthorsScowcroft, PhilipAbstractThere is a model, for a system of intuitionistic analysis including Brouwer's principle for numbers and Kripke's schema, in whichSubjectsMATHEMATICS; ALGEBRA; MATHEMATICAL logic; AGGREGATED data; SET theoryPublicationMathematical Logic Quarterly, 2016, Vol 62, Issue 3, p258ISSN0942-5616Publication typeArticleDOI10.1002/malq.201400043