On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity

From MaRDI portal

MaRDI QIDQ6735267arXivFDO

Authors Michele Contente, Maria Emilia Maietti

Publication date 2024

Published in arXiv


arXiv classification

math.LO















This page was built for publication: On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=On_the_Compatibility_of_Constructive_Predicative_Mathematics_with_Weyl%27s_Classical_Predicativity&oldid=105872078"
Powered by MediaWiki