Publication:3691670
From MaRDI portal
zbMath0574.03048MaRDI QIDQ3691670
Publication date: 1984
03F50: Metamathematics of constructive systems
Related Items
A New Approach to Quantitative Domain Theory, Bishop-Style Constructive Reverse Mathematics, Topological forcing semantics with settling, Derived rules for predicative set theory: an application of sheaves, A natural interpretation of fuzzy sets and fuzzy relations, A semantic hierarchy for intuitionistic logic, On the necessity of some topological spaces