Analysis in J₂

arXivmath/0509245MaRDI QIDQ6476008FDOQ6476008

Publication date: 11 September 2005

Abstract: This is an expository paper in which I explain how core mathematics, particularly abstract analysis, can be developed within a concrete countable set J_2 (the second set in Jensen's constructible hierarchy). The implication, well-known to proof theorists but probably not to most mainstream mathematicians, is that ordinary mathematical practice does not require an enigmatic metaphysical universe of sets. I go further and argue that J_2 is a superior setting for normal mathematics because it is free of irrelevant set-theoretic pathologies and permits stronger formulations of existence results.

This page was built for publication: Analysis in J_2

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