Image de couverture de livre

On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bertram, Wolfgang
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Generalized Von Neumann Universe and Non-Well-Founded Sets
par: Zhang, Eugene
Publié: (2023)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
par: Pąk, Karol, et autres
Publié: (2024)

Von Neumann Entropy and Quantum Algorithmic Randomness
par: Bhojraj, Tejas
Publié: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
par: Takahashi, Yuta
Publié: (2024)

On all numbers great and small (Topological fields of Conway's numbers and their completions)
par: Lisica, Ju. T.
Publié: (2024)

Approaching the Conway-99 problem using SAT solvers
par: Keramatipour, Ali
Publié: (2026)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

Skands and coskands (The non-founded set theory with individuals and its model in the Field of all Conway numbers)
par: Lisica, Ju. T.
Publié: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Reduction Complexities in Set Theory
par: Carl, Merlin
Publié: (2025)

Gödel's Program in Set Theory
par: Müller, Sandra, et autres
Publié: (2024)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

Multi-Structural Games and Number of Quantifiers
par: Fagin, Ronald, et autres
Publié: (2021)

The Complexity of the Set of Validities of a Theory
par: Hirschfeldt, Denis R., et autres
Publié: (2025)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
par: Myreen, Magnus O., et autres
Publié: (2025)

Universal Proof Theory, TACL 2022 Lecture Notes
par: Iemhoff, Rosalie, et autres
Publié: (2023)

Exponential fields and Conway's omega-map
par: Berarducci, Alessandro, et autres
Publié: (2018)

Formalization of Amicable Numbers Theory
par: Chen, Zhipeng, et autres
Publié: (2026)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

The Universal Theory of Locally Universal Tracial von Neumann Algebras is not Computable
par: Arulseelan, Jananan, et autres
Publié: (2025)

Borel Reductions and Cub Games in Generalized Descriptive Set Theory
par: Kulikov, Vadim
Publié: (2012)

A Note on OTM-Realizability and Constructive Set Theories
par: Carl, Merlin
Publié: (2019)

Sets and Classes: Operational Theory
par: Warner, Garth
Publié: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Hammering Higher Order Set Theory
par: Brown, Chad E., et autres
Publié: (2025)

Are Dependent Types in Set Theory Feasible?
par: Yang, Yunsong, et autres
Publié: (2026)

The Groupoid-Syntax of Type Theory is a Set
par: Altenkirch, Thorsten, et autres
Publié: (2025)

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

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
par: Brough, Jackson
Publié: (2026)

A Guide to Krivine Realizability for Set Theory
par: Matthews, Richard
Publié: (2023)

Relative consistency of Set Matrix Theory with ZF
par: Cabbolet, Marcoen J. T. F.
Publié: (2024)

Pure maps are strict monomorphisms
par: Kanalas, Kristóf
Publié: (2024)

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets
par: Ellerman, David
Publié: (2020)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
par: Gallego-Hernández, Jorge, et autres
Publié: (2025)

Intersection Games and Bernstein Sets
par: Atchley, James, et autres
Publié: (2023)

Schmidt's Game and Vitali Sets
par: Atchley, James, et autres
Publié: (2026)

Iterated Priority Arguments in Descriptive Set Theory
par: Day, Adam, et autres
Publié: (2022)

Models of Set Theory: Extensions and Dead-ends
par: Enayat, Ali
Publié: (2024)