Cantor theorem and friends, in logical form
From MaRDI portal
Publication:1942044
DOI10.1016/j.apal.2012.10.011zbMath1262.03024MaRDI QIDQ1942044
Publication date: 15 March 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.011
formal topology; diagonal argument; abstract proof system; hyper-game; well-founded part of a relation
03F65: Other constructive mathematics
03B22: Abstract deductive systems
03E20: Other classical set theory (including functions, relations, and set algebra)
03F40: Gödel numberings and issues of incompleteness
Related Items