Ultrasheaves and double negation
From MaRDI portal
Publication:558435
DOI10.1305/ndjfl/1099238447zbMath1093.03041OpenAlexW2150369467MaRDI QIDQ558435
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
Related Items (4)
Saturated models of intuitionistic theories ⋮ The strength of countable saturation ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ Ultrasheaves and double negation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ultrasheaves and double negation
- Amalgamation and interpolation in the category of Heyting algebras
- An application of open maps to categorical logic
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Constructivism in mathematics. An introduction. Volume I
- Model theory.
- Sheaves in geometry and logic: a first introduction to topos theory
- A sheaf-theoretic foundation for nonstandard analysis
- Ultrapowers as sheaves on a category of ultrafilters
- Saturated models of intuitionistic theories
- A model for intuitionistic non-standard arithmetic
- Sheaves of structures and generalized ultraproducts
- Two closed categories of filters
- Internal set theory: A new approach to nonstandard analysis
- Developments in Constructive Nonstandard Analysis
- Minimal models of Heyting arithmetic
- Real numbers in the topos of sheaves over the category of filters
This page was built for publication: Ultrasheaves and double negation
