scientific article

From MaRDI portal

Publication:3586990

Jump to:navigation, search

zbMath1206.03043MaRDI QIDQ3586990

No author found.

Publication date: 1 September 2010

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

zbMATH Keywords

consistency constructive type theory category theory topos theory local set theory maximal principles Zorn's Lemma applications of AC Axiom of Choice and related propositions weak forms on AC

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Axiom of choice and related propositions (03E25)

Related Items (1)

THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)

This page was built for publication:

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