Fibred sets within a predicative and constructive effective topos

From MaRDI portal

MaRDI QIDQ6755630arXivFDO

Authors Cipriano Cioffo Junior, Maria Emilia Maietti, Samuele Maschio

Publication date 2024

Published in arXiv


arXiv classification

math.LO















This page was built for publication: Fibred sets within a predicative and constructive effective topos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6755630)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Fibred_sets_within_a_predicative_and_constructive_effective_topos&oldid=106023734"
Powered by MediaWiki