Analysis in J_2

Simple item page
dc.creatorWeaver, Nik
dc.date2005-09-11
dc.date2005-09-12
dc.date.accessioned2026-07-07T05:23:07Z
dc.date.available2026-07-07T05:23:07Z
dc.descriptionThis 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.
dc.description31 pages
dc.identifierhttps://arxiv.org/abs/math/0509245
dc.identifierhttp://arxiv.org/abs/math/0509245
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/76312
dc.subjectLogic
dc.subjectFunctional Analysis
dc.subjectGeneral Mathematics
dc.subjectHistory and Overview
dc.titleAnalysis in J_2
dc.typetext

Files

Collections

arXiv