A weak set theory that proves its own consistency

2019/07/01 by Pakhomov, Fedor
#03F40 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1907.00877

Abstract

In the paper we introduce a weak set theory H_

Related

• Consistency Decision
• Is mathematics consistent?
• More Set-theory around the weak Freese-Nation property
• A construction of set theory
• The consistency strength of NFUB