scientific article

From MaRDI portal

Publication:3659781

Jump to:navigation, search

zbMath0514.03038MaRDI QIDQ3659781

Ieke Moerdijk

Publication date: 1982

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

zbMATH Keywords

comma category bar induction disjunction and existence properties glueing toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Metamathematics of constructive systems (03F50)

Related Items (3)

Connectification for \(n\)-contraction ⋮ Choice and independence of premise rules in intuitionistic set theory ⋮ The nominal/FM Yoneda Lemma

This page was built for publication:

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