Sheaf models for choice sequences

DOI10.1016/0168-0072(84)90035-6MaRDI QIDQ798316zbMATH OpenOpenAlexFDO

Authors Gerrit van der Hoeven, Ieke Moerdijk

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

spatial modelsBaire spacerelativizationselimination translationmodels for intuitionistic theories of choice sequencesmonoid modelsprojection modelsprojections of lawless sequencessheaves over monoids of continuous functionssheaves over topological spaces

Mathematics Subject Classification ID

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

Recommendations

• Model theory for sheaves of modules
• scientific article; zbMATH DE number 7700630
• scientific article; zbMATH DE number 120343
• scientific article; zbMATH DE number 31601
• Some model theory of sheaves of modules
• scientific article; zbMATH DE number 6845518
• Sheaves of ordered spaces and interval theories
• Publication:4939564
• Sheaves over infinite posets
• Model category structures on chain complexes of sheaves

Cites work

• scientific article; zbMATH DE number 3645093 (Why is no real title available?)
• scientific article; zbMATH DE number 3691320 (Why is no real title available?)
• scientific article; zbMATH DE number 3779318 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3253161 (Why is no real title available?)
• scientific article; zbMATH DE number 3334147 (Why is no real title available?)
• A remark on free choice sequences and the topological completeness proofs
• An interpretation of intuitionistic analysis
• Concepts of general topology in constructive mathematics and in sheaves
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Formal systems for some branches of intuitionistic analysis
• Grothendieck toposes have boolean points a new proof
• Open maps of toposes

Cited in

(9)

• scientific article; zbMATH DE number 7229466 (Why is no real title available?)
• scientific article; zbMATH DE number 7199581 (Why is no real title available?)
• scientific article; zbMATH DE number 3941537 (Why is no real title available?)
• scientific article; zbMATH DE number 3867322 (Why is no real title available?)
• A constructive manifestation of the Kleene-Kreisel continuous functionals
• Small decidable sheaves
• Extended bar induction in applicative theories
• Smooth spaces versus continuous spaces in models for synthetic differential geometry
• Higher order functions and Brouwer's thesis

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

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