scientific article; zbMATH DE number 3948548

MaRDI QIDQ3718892zbMATH OpenFDO

Authors

Publication date 1983

zbMATH Keywords

axiom of double inductionelementary toposinteger object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 4000186
• scientific article; zbMATH DE number 4071160
• scientific article; zbMATH DE number 1366607
• scientific article; zbMATH DE number 3948547
• A presentation of the initial lift-algebra

Cited in

(4)

• scientific article; zbMATH DE number 3979175 (Why is no real title available?)
• scientific article; zbMATH DE number 4071160 (Why is no real title available?)
• scientific article; zbMATH DE number 1366607 (Why is no real title available?)
• scientific article; zbMATH DE number 4000186 (Why is no real title available?)

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 Q3718892)