Sheaf models for choice sequences

DOI10.1016/0168-0072(84)90035-6zbMath0546.03018OpenAlexW2096746447MaRDI QIDQ798316

Ieke Moerdijk, Gerrit van der Hoeven

Publication date: 1984

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/128980

zbMATH Keywords

Baire spacespatial modelsrelativizationselimination translationmodels for intuitionistic theories of choice sequencesmonoid modelsprojection modelsprojections of lawless sequencessheaves over monoids of continuous functionssheaves over topological spaces

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Models of other mathematical theories (03C65) Intuitionistic mathematics (03F55)

Related Items (5)

A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Unnamed Item ⋮ Extended bar induction in applicative theories ⋮ Smooth spaces versus continuous spaces in models for synthetic differential geometry ⋮ Higher order functions and Brouwer’s thesis

Cites Work

• Open maps of toposes
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• A remark on free choice sequences and the topological completeness proofs
• Concepts of general topology in constructive mathematics and in sheaves
• Grothendieck toposes have boolean points a new proof
• An interpretation of intuitionistic analysis
• Formal systems for some branches of intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sheaf models for choice sequences