Ultrasheaves and double negation
From MaRDI portal
Publication:558435
DOI10.1305/NDJFL/1099238447zbMATH Open1093.03041OpenAlexW2150369467MaRDI QIDQ558435FDOQ558435
Authors: Jonas Eliasson, Steve Awodey 
Publication date: 6 July 2005
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1099238447
Recommendations
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Sheaves in geometry and logic: a first introduction to topos theory
- Model theory.
- Internal set theory: A new approach to nonstandard analysis
- A model for intuitionistic non-standard arithmetic
- Minimal models of Heyting arithmetic
- Two closed categories of filters
- Title not available (Why is that?)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Amalgamation and interpolation in the category of Heyting algebras
- An application of open maps to categorical logic
- A sheaf-theoretic foundation for nonstandard analysis
- Ultrapowers as sheaves on a category of ultrafilters
- Saturated models of intuitionistic theories
- Title not available (Why is that?)
- Sheaves of structures and generalized ultraproducts
- Developments in Constructive Nonstandard Analysis
- Title not available (Why is that?)
- Ultrasheaves and double negation
- Real numbers in the topos of sheaves over the category of filters
Cited In (7)
- The unity and identity of decidable objects and double-negation sheaves
- Ultrasheaves and double negation
- Prime elements in a localic topos
- Ultrapowers as sheaves on a category of ultrafilters
- Saturated models of intuitionistic theories
- Ultrafilters, finite coproducts and locally connected classifying toposes
- The strength of countable saturation
This page was built for publication: Ultrasheaves and double negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558435)
