:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bertram, Wolfgang
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2501.04412
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
by: Pąk, Karol, et al.
Published: (2024)

Von Neumann Entropy and Quantum Algorithmic Randomness
by: Bhojraj, Tejas
Published: (2024)

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

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

Approaching the Conway-99 problem using SAT solvers
by: Keramatipour, Ali
Published: (2026)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
by: Myreen, Magnus O., et al.
Published: (2025)

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

Exponential fields and Conway's omega-map
by: Berarducci, Alessandro, et al.
Published: (2018)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Classical Set Theory: Theory of Sets and Classes
by: Banakh, Taras
Published: (2020)

Multi-Structural Games and Number of Quantifiers
by: Fagin, Ronald, et al.
Published: (2021)

The Universal Theory of Locally Universal Tracial von Neumann Algebras is not Computable
by: Arulseelan, Jananan, et al.
Published: (2025)

Reduction Complexities in Set Theory
by: Carl, Merlin
Published: (2025)

Gödel's Program in Set Theory
by: Müller, Sandra, et al.
Published: (2024)

Borel Reductions and Cub Games in Generalized Descriptive Set Theory
by: Kulikov, Vadim
Published: (2012)

The Complexity of the Set of Validities of a Theory
by: Hirschfeldt, Denis R., et al.
Published: (2025)

Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)

Formalization of Amicable Numbers Theory
by: Chen, Zhipeng, et al.
Published: (2026)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

A Note on OTM-Realizability and Constructive Set Theories
by: Carl, Merlin
Published: (2019)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Sets and Classes: Operational Theory
by: Warner, Garth
Published: (2024)

Hammering Higher Order Set Theory
by: Brown, Chad E., et al.
Published: (2025)

Are Dependent Types in Set Theory Feasible?
by: Yang, Yunsong, et al.
Published: (2026)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)

The Groupoid-Syntax of Type Theory is a Set
by: Altenkirch, Thorsten, et al.
Published: (2025)

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

Intersection Games and Bernstein Sets
by: Atchley, James, et al.
Published: (2023)

Schmidt's Game and Vitali Sets
by: Atchley, James, et al.
Published: (2026)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

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

Pure maps are strict monomorphisms
by: Kanalas, Kristóf
Published: (2024)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
by: Brough, Jackson
Published: (2026)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
by: Gallego-Hernández, Jorge, et al.
Published: (2025)

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

Models of Set Theory: Extensions and Dead-ends
by: Enayat, Ali
Published: (2024)