A negation-free proof of Cantor's theorem

DOI10.1305/NDJFL/1117755152zbMATH Open1082.03046OpenAlexW2004983205MaRDI QIDQ2565993FDOQ2565993

Authors: Yanyan Li 

Publication date: 28 September 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1117755152

Recommendations

• Constructing Cantorian counterexamples
• Cantor theorem and friends, in logical form
• Generalizations of Cantor's theorem in \(\mathsf{ZF}\)
• scientific article; zbMATH DE number 7065729
• The Cantor-Bernstein theorem: how many proofs?

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Complexity of proofs (03F20) Other classical set theory (including functions, relations, and set algebra) (03E20)

Cites Work

• Paradox without Self-Reference
• Truth and reflection
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

Cited In (3)

• Title not available (Why is that?)
• Cantor theorem and friends, in logical form
• Title not available (Why is that?)

This page was built for publication: A negation-free proof of Cantor's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2565993)