Publication:3912576
From MaRDI portal
zbMath0463.03033MaRDI QIDQ3912576
Publication date: 1981
Categorical logic, topoi (03G30) Consistency and independence results (03E35) Metamathematics of constructive systems (03F50)
Related Items
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