Sheaf models for choice sequences
DOI10.1016/0168-0072(84)90035-6zbMATH Open0546.03018OpenAlexW2096746447MaRDI QIDQ798316FDOQ798316
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
Recommendations
- Model theory for sheaves of modules
- scientific article; zbMATH DE number 7700630
- scientific article
- 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
spatial modelsBaire spacerelativizationselimination translationmodels for intuitionistic theories of choice sequencesmonoid modelsprojection modelsprojections of lawless sequencessheaves over monoids of continuous functionssheaves over topological spaces
Models of other mathematical theories (03C65) Intuitionistic mathematics (03F55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cites Work
- Title not available (Why is that?)
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal systems for some branches of intuitionistic analysis
- Open maps of toposes
- Concepts of general topology in constructive mathematics and in sheaves
- An interpretation of intuitionistic analysis
- A remark on free choice sequences and the topological completeness proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Grothendieck toposes have boolean points a new proof
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Small decidable sheaves
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- Higher order functions and Brouwer’s thesis
- Extended bar induction in applicative theories
- Smooth spaces versus continuous spaces in models for synthetic differential geometry
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)
