Ultrasheaves and double negation (Q558435): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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). | |||
Property / review text: 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). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: John L. Bell / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 2186747 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ultrapower | |||
Property / zbMATH Keywords: ultrapower / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sheaf theory | |||
Property / zbMATH Keywords: sheaf theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
double negation subtopos | |||
Property / zbMATH Keywords: double negation subtopos / rank | |||
Normal rank |
Revision as of 15:18, 1 July 2023
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