scientific article
From MaRDI portal
Publication:3912576
zbMath0463.03033MaRDI QIDQ3912576
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Consistency and independence results (03E35) Metamathematics of constructive systems (03F50)
Related Items (5)
Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ Some purely topological models for intuitionistic analysis ⋮ Heyting-valued interpretations for constructive set theory ⋮ Large sets in intuitionistic set theory ⋮ On some non-classical extensions of second-order intuitionistic propositional calculus
This page was built for publication:
