Nonstandard proof methods in toposes

DOI10.1016/J.APAL.2024.103424arXiv2308.16030OpenAlexW4392059195MaRDI QIDQ6151820FDOQ6151820

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

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

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)

Cites Work

• Tripos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Axiom of Choice and Complementation
• Realizability. An introduction to its categorical side
• Internal set theory: A new approach to nonstandard analysis
• Sheaf models for set theory
• Adjointness in Foundations
• 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
• Developments in Constructive Nonstandard Analysis
• Real numbers in the topos of sheaves over the category of filters
• Choice Implies Excluded Middle
• Ultrafilters, ultrapowers and finiteness in a topos
• Title not available (Why is that?)
• Comparing material and structural set theories

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)