Recognition: unknown
Inconsistency of inaccessibility
classification
🧮 math.LO
keywords
basiccardinalsapparatusattentionbriefconstructionscultivationdevelopment
read the original abstract
The work presents the brief exposition of the proof (in ZF) of inaccessible cardinals nonexistence. To this end in view there is used the apparatus of subinaccessible cardinals and its basic tools -- reduced formula spectra and matrices and matrix functions and others. 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.