Ultrasheaves and double negation (Q558435): Difference between revisions

Starting with the topos of sheaves Sh(F) on a category of filters introduced by Moerdijk, the authors show that its double negation subtopos is the topos Sh(U) of sheaves on the category of ultrafilters. The result is used to transfer the truth of formulas via the double negation translation from Sh(U) to Sh(F).

0 references

reviewed by

John L. Bell

0 references

Mathematics Subject Classification ID

0 references

0 references

ultrapower

0 references

sheaf theory

0 references

double negation subtopos

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1305/ndjfl/1099238447

0 references

OpenAlex ID

W2150369467

0 references

cites work

Two closed categories of filters

0 references

Saturated models of intuitionistic theories

0 references

Model theory.

0 references

Ultrapowers as sheaves on a category of ultrafilters

0 references

Ultrasheaves and double negation

0 references

Sheaves of structures and generalized ultraproducts

0 references

Q5597563

0 references

Sheaves in geometry and logic: a first introduction to topos theory

0 references

Q3043147

0 references

A model for intuitionistic non-standard arithmetic

0 references

Minimal models of Heyting arithmetic

0 references

Internal set theory: A new approach to nonstandard analysis

0 references

A sheaf-theoretic foundation for nonstandard analysis

0 references

Developments in Constructive Nonstandard Analysis

0 references

Real numbers in the topos of sheaves over the category of filters

0 references

Q4552745

0 references

Amalgamation and interpolation in the category of Heyting algebras

0 references

An application of open maps to categorical logic

0 references

Conceptual completeness for first-order intuitionistic logic: An application of categorical logic

0 references

Constructivism in mathematics. An introduction. Volume I

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:558435

@@ Property / author @@
-Steven Awodey
@@ Property / author: Steven Awodey / rank @@
-Normal rank
@@ Property / author @@
+Steven Awodey
@@ Property / author: Steven Awodey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1099238447
+Normal rank
@@ Property / OpenAlex ID @@
+W2150369467
@@ Property / OpenAlex ID: W2150369467 / rank @@
+Normal rank
@@ Property / cites work @@
+Two closed categories of filters
@@ Property / cites work: Two closed categories of filters / rank @@
+Normal rank
@@ Property / cites work @@
+Saturated models of intuitionistic theories
@@ Property / cites work: Saturated models of intuitionistic theories / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrapowers as sheaves on a category of ultrafilters
+Normal rank
@@ Property / cites work @@
+Ultrasheaves and double negation
@@ Property / cites work: Ultrasheaves and double negation / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves of structures and generalized ultraproducts
+Normal rank
@@ Property / cites work @@
+Q5597563
@@ Property / cites work: Q5597563 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q3043147
@@ Property / cites work: Q3043147 / rank @@
+Normal rank
@@ Property / cites work @@
+A model for intuitionistic non-standard arithmetic
+Normal rank
@@ Property / cites work @@
+Minimal models of Heyting arithmetic
@@ Property / cites work: Minimal models of Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+A sheaf-theoretic foundation for nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Developments in Constructive Nonstandard Analysis
@@ Property / cites work: Developments in Constructive Nonstandard Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Real numbers in the topos of sheaves over the category of filters
+Normal rank
@@ Property / cites work @@
+Q4552745
@@ Property / cites work: Q4552745 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation and interpolation in the category of Heyting algebras
+Normal rank
@@ Property / cites work @@
+An application of open maps to categorical logic
@@ Property / cites work: An application of open maps to categorical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:558435