Inconsistency of inaccessibility

mag(2011)

引用 23|浏览7
暂无评分
摘要
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
更多
查看译文
关键词
matrix function
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要