Nonstandard proof methods in toposes

DOI10.1016/J.APAL.2024.103424MaRDI QIDQ6151820zbMATH OpenOpenAlexFDO

Authors

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

categorical logicnonstandard analysiscategories of setstopos theory

Mathematics Subject Classification ID

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

Recommendations

• Tripos models of internal set theory
• scientific article; zbMATH DE number 3851091
• scientific article; zbMATH DE number 3861160
• A constructive approach to nonstandard analysis
• scientific article; zbMATH DE number 2033391

Cites work

• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3434093 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• A model for intuitionistic non-standard arithmetic
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Adjointness in Foundations
• Axiom of Choice and Complementation
• Boolean topoi and the theory of sets
• Categorical set theory: A characterization of the category of sets
• Choice Implies Excluded Middle
• Comparing material and structural set theories
• Developments in Constructive Nonstandard Analysis
• Internal set theory: A new approach to nonstandard analysis
• Real numbers in the topos of sheaves over the category of filters
• Realizability. An introduction to its categorical side
• Relating First-Order Set Theories and Elementary Toposes
• Sheaf models for set theory
• Tripos theory
• Ultrafilters, ultrapowers and finiteness in a topos

Cited in

(1)

• Tripos models of internal set theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151820)