Inconsistency of inaccessibility
Logic
2011-10-18 v1
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
Cite
@article{arxiv.1110.3461,
title = {Inconsistency of inaccessibility},
author = {A. Kiselev},
journal= {arXiv preprint arXiv:1110.3461},
year = {2011}
}
Comments
8 pages, e-mail aakiselev@yahoo.com. arXiv admin note: substantial text overlap with arXiv:1010.1956