Nonstandard proof methods in toposes

DOI10.1016/j.apal.2024.103424arXiv2308.16030OpenAlexW4392059195MaRDI QIDQ6151820

No author found.

Publication date: 11 March 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2308.16030

zbMATH Keywords

nonstandard analysiscategorical logictopos theorycategories of sets

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonstandard models in mathematics (03H05) Categories of sets, characterizations (18B05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizability. An introduction to its categorical side
• Sheaf models for set theory
• Ultrafilters, ultrapowers and finiteness in a topos
• Comparing material and structural set theories
• Categorical set theory: A characterization of the category of sets
• A model for intuitionistic non-standard arithmetic
• Boolean topoi and the theory of sets
• Relating First-Order Set Theories and Elementary Toposes
• Tripos theory
• Axiom of Choice and Complementation
• Adjointness in Foundations
• Internal set theory: A new approach to nonstandard analysis
• Choice Implies Excluded Middle
• Developments in Constructive Nonstandard Analysis
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Real numbers in the topos of sheaves over the category of filters

This page was built for publication: Nonstandard proof methods in toposes