scientific article; zbMATH DE number 3337652

zbMath0213.01203MaRDI QIDQ5614645

Dana S. Scott

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (8)

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

This page was built for publication: