scientific article

From MaRDI portal

Revision as of 14:17, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3344336

Jump to:navigation, search

zbMath0551.18001MaRDI QIDQ3344336

Andreas Blass

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

survey topos axioms of choice Grothendieck universes Ruden-Frolik ordering set-theoretic foundation for category theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Ordered sets (06A99) Axiom of choice and related propositions (03E25) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)

Related Items (7)

All topoi are localic or why permutation models prevail ⋮ Sets with structure, mappings and fixed point property: fixed point structures ⋮ A logic for category theory ⋮ Separable closure in categories ⋮ On the differentiation of integrals in measure spaces along filters. II. ⋮ On the Distinction Between Sets and Classes: A Categorical Perspective ⋮ Category theory and the foundations of mathematics: philosophical excavations.

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3344336&oldid=16592107"