Cantor theorem and friends, in logical form
Under an Elsevier user license
open archive
MSC
03B22
03F40
03F65
Keywords
Formal topology
Abstract proof system
Hyper-game
Well-founded part of a relation
Cited by (0)
Copyright © 2012 Elsevier B.V. All rights reserved.