Recommendations
Cites work
- scientific article; zbMATH DE number 3836032 (Why is no real title available?)
- scientific article; zbMATH DE number 1795224 (Why is no real title available?)
- scientific article; zbMATH DE number 3317800 (Why is no real title available?)
- A model for intuitionistic non-standard arithmetic
- A sheaf-theoretic foundation for nonstandard analysis
- 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
- Developments in Constructive Nonstandard Analysis
- Internal set theory: A new approach to nonstandard analysis
- Minimal models of Heyting arithmetic
- Model theory.
- Real numbers in the topos of sheaves over the category of filters
- Saturated models of intuitionistic theories
- Sheaves in geometry and logic: a first introduction to topos theory
- Sheaves of structures and generalized ultraproducts
- Two closed categories of filters
- Ultrapowers as sheaves on a category of ultrafilters
- Ultrasheaves and double negation
Cited in
(7)- Ultrasheaves and double negation
- The strength of countable saturation
- Prime elements in a localic topos
- Ultrafilters, finite coproducts and locally connected classifying toposes
- Saturated models of intuitionistic theories
- Ultrapowers as sheaves on a category of ultrafilters
- The unity and identity of decidable objects and double-negation sheaves
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)
