Cantor theorem and friends, in logical form
From MaRDI portal
Publication:1942044
DOI10.1016/j.apal.2012.10.011zbMath1262.03024OpenAlexW2068775396MaRDI 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
Other constructive mathematics (03F65) Abstract deductive systems (03B22) Other classical set theory (including functions, relations, and set algebra) (03E20) Gödel numberings and issues of incompleteness (03F40)
Related Items (1)
This page was built for publication: Cantor theorem and friends, in logical form