Very basic set theory
Fuente:
arXiv
Saved in:
| Main Author: | Homan, Doeko |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A review of Pythagorean triples from both classical and modern viewpoints
by: Taghavi, Ali
Published: (2024)
by: Taghavi, Ali
Published: (2024)
A definição de verdade de Tarski
by: Cardoso, Guilherme, et al.
Published: (2024)
by: Cardoso, Guilherme, et al.
Published: (2024)
From real analysis to the sorites paradox via Reverse Mathematics
by: Dean, Walter, et al.
Published: (2025)
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)
by: Neuwirth, Stefan, et al.
Published: (2024)
Weyl's Quantifiers
by: Toader, Iulian D.
Published: (2024)
by: Toader, Iulian D.
Published: (2024)
Cantor's Powerset Theorem, Graph-Theoretically
by: Salehi, Saeed
Published: (2026)
by: Salehi, Saeed
Published: (2026)
A correspondence problem for mathematical proof
by: DeDeo, Simon, et al.
Published: (2026)
by: DeDeo, Simon, et al.
Published: (2026)
On a form of intrinsic optimism in Set Theory
by: Pérez, M. Muñoz
Published: (2025)
by: Pérez, M. Muñoz
Published: (2025)
Analytic proofs for logics of evidence and truth
by: Carnielli, Walter, et al.
Published: (2024)
by: Carnielli, Walter, et al.
Published: (2024)
Notes on Category Theory with examples from basic mathematics
by: Perrone, Paolo
Published: (2019)
by: Perrone, Paolo
Published: (2019)
In between myth and reality: AI for math -- a case study in category theory
by: Diaconescu, Răzvan
Published: (2025)
by: Diaconescu, Răzvan
Published: (2025)
Secrets and Quantifiers
by: Bajnok, Bela, et al.
Published: (2024)
by: Bajnok, Bela, et al.
Published: (2024)
One Plus One Equals Two Ones: On Identity, Aggregation, and Counting
by: Ghosh, Souvik
Published: (2025)
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)
by: Dvorak, Martin
Published: (2026)
Ablation and the Meno: Tools for Empirical Metamathematics
by: Fan, Zhengqin, et al.
Published: (2026)
by: Fan, Zhengqin, et al.
Published: (2026)
Artificial Intelligence and the Structure of Mathematics
by: Barkeshli, Maissam, et al.
Published: (2026)
by: Barkeshli, Maissam, et al.
Published: (2026)
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
by: Kamareddine, Fairouz, et al.
Published: (2024)
by: Kamareddine, Fairouz, et al.
Published: (2024)
Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)
by: Bayer, Jonas, et al.
Published: (2022)
Information Flow Complexity Theory: A Comprehensive Mathematical Framework
by: Kilpatrick, Christian
Published: (2025)
by: Kilpatrick, Christian
Published: (2025)
Fréchet Modules and Descent
by: Ben-Bassat, Oren, et al.
Published: (2020)
by: Ben-Bassat, Oren, et al.
Published: (2020)
In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)
by: Calvert, Wesley, et al.
Published: (2024)
Theological reasoning of Cantor's set theory
by: Trlifajová, Kateřina
Published: (2024)
by: Trlifajová, Kateřina
Published: (2024)
Operators in the mind: Jan Lukasiewicz and Polish notation
by: Mizraji, Eduardo
Published: (2025)
by: Mizraji, Eduardo
Published: (2025)
Tangram
Published: (2020)
Published: (2020)
Revista Brasileira de História da Matemática
Published: (2020)
Published: (2020)
Notes on invariant measures for loop groups
by: Pickrell, Doug
Published: (2022)
by: Pickrell, Doug
Published: (2022)
Contractive kinetic Langevin samplers beyond global Lipschitz continuity
by: Lytras, Iosif, et al.
Published: (2025)
by: Lytras, Iosif, et al.
Published: (2025)
Boletim Cearense de Educação e História da Matemática
Published: (2020)
Published: (2020)
A7: An aperiodic set of 7 square dominoes
by: Van Dongen, Vincent
Published: (2025)
by: Van Dongen, Vincent
Published: (2025)
Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)
by: Aberdein, Andrew
Published: (2023)
Automated Mathematics and the Reconfiguration of Proof and Labor
by: Ochigame, Rodrigo
Published: (2023)
by: Ochigame, Rodrigo
Published: (2023)
Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)
by: Colomina-Alminana, Juan J.
Published: (2026)
The local logarithmic Brunn-Minkowski inequality for bodies of revolution
by: Iffland, Luca
Published: (2026)
by: Iffland, Luca
Published: (2026)
Exploring the relation between mathematical values and achievement among girls: A comparative analysis in single-sex vs. coeducational settings using TIMSS 2019 NZ data
by: Gao, Huayu, et al.
Published: (2025)
by: Gao, Huayu, et al.
Published: (2025)
Comportamientos extraños del infinito: Gráficas Infinitas
by: Fernández-Bretón, David J., et al.
Published: (2025)
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)
by: Cattabriga, Paola
Published: (2024)
Extra pearls in graph theory
by: Petrunin, Anton
Published: (2018)
by: Petrunin, Anton
Published: (2018)
Integrable measure equivalence and the central extension of surface groups
by: Das, Kajal, et al.
Published: (2014)
by: Das, Kajal, et al.
Published: (2014)
Finiteness property in Cantor real numeration systems
by: Masáková, Zuzana, et al.
Published: (2023)
by: Masáková, Zuzana, et al.
Published: (2023)
Countable real analysis
by: Klazar, Martin
Published: (2023)
by: Klazar, Martin
Published: (2023)
Similar Items
-
A review of Pythagorean triples from both classical and modern viewpoints
by: Taghavi, Ali
Published: (2024) -
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)