A hierarchy of axiom system ACG

zbMath0689.03025MaRDI QIDQ1264145

Jin-wen Zhang

Publication date: 1990

Published in: Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

consistencyfoundations of category theoryaxiom schema of predicative comprehensionaxiom system ACGcongolomerates

Mathematics Subject Classification ID

Consistency and independence results (03E35) Applications of set theory (03E75) Foundations, relations to logic and deductive systems (18A15)

This page was built for publication: A hierarchy of axiom system ACG