Tripos models of internal set theory

MaRDI QIDQ6198354zbMATH OpenFDO

Authors

Publication date 21 February 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://revistas.unal.edu.co/index.php/bolma/article/view/112735/90913

zbMATH Keywords

hyperdoctrineinternal set theorynonstandard analysistopos theorytripos theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Nonstandard analysis (26E35)

Recommendations

• Nonstandard proof methods in toposes
• scientific article; zbMATH DE number 3861160
• Extended use of IST
• scientific article; zbMATH DE number 1192380
• scientific article; zbMATH DE number 2033391

Cited in

(1)

• Nonstandard proof methods in toposes

This page was built for publication: Tripos models of internal set theory

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