scientific article; zbMATH DE number 3337652
From MaRDI portal
zbMath0213.01203MaRDI QIDQ5614645
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item, Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis, Topological forcing semantics with settling, Topological models of epistemic set theory, The creating subject, the Brouwer-Kripke schema, and infinite proofs, A new model for intuitionistic analysis, The real-algebraic structure of Scott's model of intuitionistic analysis, Bishop-Style Constructive Reverse Mathematics