scientific article; zbMATH DE number 3337652

MaRDI QIDQ5614645zbMATH OpenFDO

Authors Dana Scott

Publication date 1970

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Intuitionistic mathematics (03F55)

Cited in

(7)

• The real-algebraic structure of Scott's model of intuitionistic analysis
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• scientific article; zbMATH DE number 3438823 (Why is no real title available?)
• Bishop-Style Constructive Reverse Mathematics
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
• A new model for intuitionistic analysis
• Topological models of epistemic set theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5614645)