scientific article; zbMATH DE number 826690
From MaRDI portal
Publication:4858602
zbMath0837.03041MaRDI QIDQ4858602
Publication date: 13 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke modelsNew Foundationsexcluded middleSimple Theory of Typesintuitionistic part of a classical theory
Nonclassical and second-order set theories (03E70) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)
This page was built for publication:
