Ultrasheaves and double negation (Q558435): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1305/ndjfl/1099238447 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2150369467 / rank | |||
Normal rank | |||
Revision as of 00:09, 20 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ultrasheaves and double negation |
scientific article |
Statements
Ultrasheaves and double negation (English)
0 references
6 July 2005
0 references
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
ultrapower
0 references
sheaf theory
0 references
double negation subtopos
0 references
