scientific article; zbMATH DE number 7703291

MaRDI QIDQ6161850zbMATH OpenFDO

Authors Jonas Eliasson

Publication date 27 June 2023

Full work available at URL https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Auu%3Adiva-3762

zbMATH Keywords

ultrafiltersaturated modelultrapowersheaf modelnon-standard set theoryMoerdijk's topos

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Nonstandard models in mathematics (03H05)

This page was built for publication:

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