scientific article
From MaRDI portal
Publication:3863865
zbMath0427.03028MaRDI QIDQ3863865
J. M. E. Hyland, Michael Paul Fourman
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baire spacereal numbersCantor spacelocal compactnesssheaves over complete Heyting algebrasspatial toposes
Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items
The point of pointless topology ⋮ THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ Diagonalization of continuous matrices as a representation of intuitionistic reals ⋮ A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ Unnamed Item ⋮ A coverage construction of the reals and the irrationals ⋮ Realizability Models Separating Various Fan Theorems ⋮ What do Freyd's toposes classify? ⋮ Towards a Paraconsistent Quantum Set Theory ⋮ Unifying sets and programs via dependent types ⋮ Formally continuous functions on Baire space ⋮ The Gleason cover of a topos. I ⋮ Locatedness and overt sublocales ⋮ Derived rules for predicative set theory: an application of sheaves ⋮ The World's simplest axiom of choice fails ⋮ A globalization of the Hahn-Banach theorem ⋮ Pointfree forms of Dowker's and Michael's insertion theorems ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ On the Cauchy Completeness of the Constructive Cauchy Reals ⋮ Unifying Sets and Programs via Dependent Types ⋮ A new look at localic interpolation theorems ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II ⋮ A new model for intuitionistic analysis ⋮ Differential equations in constructive analysis and in the recursive realizability topos ⋮ Heyting-valued interpretations for constructive set theory ⋮ The real-algebraic structure of Scott's model of intuitionistic analysis ⋮ Stone-Čech compactification of locales. II ⋮ On the necessity of some topological spaces ⋮ Bishop-Style Constructive Reverse Mathematics
