Cover Image

Cantor's Powerset Theorem, Graph-Theoretically

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Salehi, Saeed
Format:	Preprint
Published:	2026
Subjects:	History and Overview Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A correspondence problem for mathematical proof
by: DeDeo, Simon, et al.
Published: (2026)

A definição de verdade de Tarski
by: Cardoso, Guilherme, et al.
Published: (2024)

From real analysis to the sorites paradox via Reverse Mathematics
by: Dean, Walter, et al.
Published: (2025)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
by: Neuwirth, Stefan, et al.
Published: (2024)

Weyl's Quantifiers
by: Toader, Iulian D.
Published: (2024)

On a form of intrinsic optimism in Set Theory
by: Pérez, M. Muñoz
Published: (2025)

Analytic proofs for logics of evidence and truth
by: Carnielli, Walter, et al.
Published: (2024)

Secrets and Quantifiers
by: Bajnok, Bela, et al.
Published: (2024)

One Plus One Equals Two Ones: On Identity, Aggregation, and Counting
by: Ghosh, Souvik
Published: (2025)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
by: Dvorak, Martin
Published: (2026)

Ablation and the Meno: Tools for Empirical Metamathematics
by: Fan, Zhengqin, et al.
Published: (2026)

Artificial Intelligence and the Structure of Mathematics
by: Barkeshli, Maissam, et al.
Published: (2026)

Very basic set theory
by: Homan, Doeko
Published: (2023)

In between myth and reality: AI for math -- a case study in category theory
by: Diaconescu, Răzvan
Published: (2025)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
by: Kamareddine, Fairouz, et al.
Published: (2024)

Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

Theological reasoning of Cantor's set theory
by: Trlifajová, Kateřina
Published: (2024)

Operators in the mind: Jan Lukasiewicz and Polish notation
by: Mizraji, Eduardo
Published: (2025)

Notes on Category Theory with examples from basic mathematics
by: Perrone, Paolo
Published: (2019)

Bridging Classical and Modern Approaches to Thales' Theorem
by: Błaszczyk, Piotr, et al.
Published: (2025)

Using GXWeb for Theorem Proving and Mathematical Modelling
by: Todd, Philip, et al.
Published: (2024)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
by: Bottoni, Mattia Luciano, et al.
Published: (2025)

Mean Value Theorems and L'Hospital-Type Rules for Regulated Functions
by: Ghatasheh, Ahmed
Published: (2023)

A Brief Review of Fixed Points, Hex Game and Hex Theorem
by: Yang, Cho
Published: (2025)

Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)

Automated Mathematics and the Reconfiguration of Proof and Labor
by: Ochigame, Rodrigo
Published: (2023)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)

Graph Colouring: A Visual Tour
by: Lewis, Rhyd
Published: (2026)

Comportamientos extraños del infinito: Gráficas Infinitas
by: Fernández-Bretón, David J., et al.
Published: (2025)

On Godel's treatment of the undecidable in 1931
by: Cattabriga, Paola
Published: (2024)

Connected Theorems: A Graph-Based Approach to Evaluating Mathematical Results
by: Bérczi, Gergely, et al.
Published: (2025)

The Adian-Rabin Theorem -- An English translation
by: Nyberg-Brodda, Carl-Fredrik
Published: (2022)

Trigonometric Ratios Can Prove the Pythagorean Theorem
by: Kise, Shoya, et al.
Published: (2025)

Thomassen's proof and Filippov's proof of the Weak Jordan Theorem
by: Klazar, Martin
Published: (2026)

Five Circles: Real Analysis Theorems equivalent to Completeness
by: Cantuba, Rafael
Published: (2026)

Framing the Fundamental Theorem of Calculus Through Physics-Based Quantities
by: Brahmia, Suzanne White, et al.
Published: (2025)

Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The Königsberg Lectures of 1890-1891
by: Dicker, Math
Published: (2026)

Countable real analysis
by: Klazar, Martin
Published: (2023)

Rigidity of Graphs and Frameworks: A Matroid Theoretic Approach
by: Cruickshank, James, et al.
Published: (2025)