The Cantor–Bernstein theorem: how many proofs? (Q5204798): Difference between revisions

@@ Property / DOI @@
-.1098/rsta.2018.0031
@@ Property / DOI: 10.1098/rsta.2018.0031 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1098/rsta.2018.0031
+Normal rank
@@ Property / OpenAlex ID @@
+W2909229158
@@ Property / OpenAlex ID: W2909229158 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q92982852
@@ Property / Wikidata QID: Q92982852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4481857
@@ Property / cites work: Q4481857 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of the Cantor-Bernstein theorem. A mathematical excursion
+Normal rank
@@ Property / cites work @@
+Hilbert's Twenty-Fourth Problem
@@ Property / cites work: Hilbert's Twenty-Fourth Problem / rank @@
+Normal rank
@@ Property / cites work @@
+NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Zermelo and Set Theory
@@ Property / cites work: Zermelo and Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Normal natural deduction proofs (in classical logic)
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3001104
@@ Property / cites work: Q3001104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Identity of Proofs Based on Normalization and Generality
+Normal rank
@@ Property / DOI @@
+.1098/RSTA.2018.0031
@@ Property / DOI: 10.1098/RSTA.2018.0031 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5204798