Imagen de Portada

On a form of intrinsic optimism in Set Theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Pérez, M. Muñoz
Formato:	Preprint
Publicado:	2025
Materias:	History and Overview Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Weyl's Quantifiers
por: Toader, Iulian D.
Publicado: (2024)

Cantor's Powerset Theorem, Graph-Theoretically
por: Salehi, Saeed
Publicado: (2026)

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

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

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

Secrets and Quantifiers
por: Bajnok, Bela, et al.
Publicado: (2024)

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

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

Very basic set theory
por: Homan, Doeko
Publicado: (2023)

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

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

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

Mathematical Proof Between Generations
por: Bayer, Jonas, et al.
Publicado: (2022)

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

In Memory of Martin Davis
por: Calvert, Wesley, et al.
Publicado: (2024)

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

The restoration of Book X of the Elements to its original Theaetetean form
por: Negrepontis, Stelios, et al.
Publicado: (2025)

Nelson's Logical Diagrams
por: Aberdein, Andrew
Publicado: (2023)

Automated Mathematics and the Reconfiguration of Proof and Labor
por: Ochigame, Rodrigo
Publicado: (2023)

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

The Reconstruction of Theaetetus' Theory of Ratios of Magnitudes
por: Negrepontis, Stelios, et al.
Publicado: (2025)

Elements of the Theory of Probability and Mathematical Statistics
por: Chinarova, Lidiia L., et al.
Publicado: (2024)

The anthyphairetic reconstruction of the original Pythagorean proof of incommensurability, by means of the restoration of Book II of the Elements to its original Pythagorean form
por: Negrepontis, Stelios, et al.
Publicado: (2025)

Johann Heinrich Lambert's memoir "Theorie der Parallellinien": A review with commentary
por: Papadopoulos, Athanase, et al.
Publicado: (2026)

Topological Structures of Sets and their Subsets
por: Ma, Fei, et al.
Publicado: (2025)

Exploring Gender Differences in Tertiary Mathematics-Intensive Fields: A Critical Review of Social Cognitive Career Theory
por: Gao, Huayu, et al.
Publicado: (2025)

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

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

Stamps and Mathematics
por: Ivanova, Nataliya M.
Publicado: (2024)

Countable real analysis
por: Klazar, Martin
Publicado: (2023)

The Evolution of Rough Sets 1970s-1981
por: Marek, Viktor, et al.
Publicado: (2025)

The winding number of a closed curve around a point
por: Alkin, E., et al.
Publicado: (2026)

Coval description of the boundary of a numerical range and the secondary values of a matrix
por: Blaschke, Petr
Publicado: (2024)

An Approach to Development: Turning Education from a Service Duty to a Productive Tool
por: Alinian, Pooya, et al.
Publicado: (2022)

Desargues and the "trait à preuves"
por: Bouleau, Nicolas
Publicado: (2025)

Singularity: a Seventh Memo?
por: Gallone, Matteo, et al.
Publicado: (2024)

Permanence as a Principle of Practice
por: Toader, Iulian D.
Publicado: (2024)