Ultrapowers as sheaves on a category of ultrafilters

DOI10.1007/s00153-004-0228-0zbMath1072.03040OpenAlexW2023562444MaRDI QIDQ1762726

Jonas Eliasson

Publication date: 11 February 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0228-0

zbMATH Keywords

topos of sheavesGrothendieck topologyatomic sitecategory of ultrafilters

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Ultraproducts and related constructions (03C20) Grothendieck topologies and Grothendieck topoi (18F10)

Related Items (3)

Saturated models of intuitionistic theories ⋮ The strength of countable saturation ⋮ Ultrasheaves and double negation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The syntax of nonstandard analysis
• Atomic toposes
• Sheaves in geometry and logic: a first introduction to topos theory
• A sheaf-theoretic foundation for nonstandard analysis
• 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
• The Rudin-Keisler Ordering of P-Points
• Real numbers in the topos of sheaves over the category of filters

This page was built for publication: Ultrapowers as sheaves on a category of ultrafilters