pith. machine review for the scientific record. sign in

arxiv: 1010.1956 · v4 · submitted 2010-10-10 · 🧮 math.LO

Recognition: unknown

Inaccessibility and Subinaccessibility. In two parts. Part I

Authors on Pith no claims yet
classification 🧮 math.LO
keywords partbasiccardinalseditionproofapparatusattentionconstructions
0
0 comments X
read the original abstract

The work presents the first part of second edition of the previous edition of 2000 under the same title containing the proof (in ZF) of the nonexistence of inaccessible cardinals, now enriched and improved. This part contains the apparatus of subinaccessible cardinals and its basic tools -- theories of reduced formula spectra and matrices, disseminators and others -- which are used in this proof and is set forth now in their more transparent and simplified form. Much attention is devoted to the explicit and substantial development and cultivation of basic ideas, serving as grounds for all main constructions and reasonings.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.