Avoiding logical strength in real analysis

MaRDI QIDQ7251449arXivFDO

Authors Anton Freund, Nicholas Pischke, Patrick Uftring

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Constructive and recursive analysis (03F60)

arXiv classification

math.LO

This page was built for publication: Avoiding logical strength in real analysis

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