:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lisica, Ju. T.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2512.22314
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On all numbers great and small (Topological fields of Conway's numbers and their completions)
von: Lisica, Ju. T.
Veröffentlicht: (2024)

Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
von: Button, Tim
Veröffentlicht: (2023)

Implicative models of set theory
von: Maschio, Samuele, et al.
Veröffentlicht: (2023)

On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory
von: Bertram, Wolfgang
Veröffentlicht: (2025)

Approaching the Conway-99 problem using SAT solvers
von: Keramatipour, Ali
Veröffentlicht: (2026)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
von: Pąk, Karol, et al.
Veröffentlicht: (2024)

Tarskian truth theories over set theory
von: Enayat, Ali
Veröffentlicht: (2026)

Characterizing fragments of collection principle in set theory with model theoretic properties
von: Chen, Junhong
Veröffentlicht: (2025)

Exponential fields and Conway's omega-map
von: Berarducci, Alessandro, et al.
Veröffentlicht: (2018)

Gradualist descriptionalist set theory
von: Simmons, David
Veröffentlicht: (2026)

A small ultrafilter number at all $\aleph_3\leqκ<\aleph_ω$
von: Eshkol, Julian
Veröffentlicht: (2025)

Relative to any non-arithmetic set
von: Harrison-Trainor, Matthew
Veröffentlicht: (2025)

A topological counterpart of well-founded trees in dependent type theory
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

Fodor space in generalized descriptive set theory
von: Feldman, Ido, et al.
Veröffentlicht: (2026)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
von: Hamkins, Joel David
Veröffentlicht: (2022)

Borel complexity of the set of typical numbers
von: Tomaszewski, Jakub
Veröffentlicht: (2022)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
von: Shamkanov, Daniyar
Veröffentlicht: (2025)

There are more non-Cantorian sets than are Cantorian
von: Al-Johar, Zuhair
Veröffentlicht: (2025)

Choice and independence of premise rules in intuitionistic set theory
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2024)

The equivariant model structure on cartesian cubical sets
von: Awodey, Steve, et al.
Veröffentlicht: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Randomness via infinite computation and effective descriptive set theory
von: Carl, Merlin, et al.
Veröffentlicht: (2016)

Extensional realizability and choice for dependent types in intuitionistic set theory
von: Frittaion, Emanuele
Veröffentlicht: (2024)

Class choice and the surprising weakness of Kelley-Morse set theory
von: Gitman, Victoria, et al.
Veröffentlicht: (2026)

Geometric theories for real number algebra without sign test or dependent choice axiom
von: Lombardi, Henri, et al.
Veröffentlicht: (2024)

Global choice is not conservative over local choice for Zermelo set theory
von: Glazer, Elliot
Veröffentlicht: (2023)

A non-sequential arithmetical theory with pairing
von: Murwanashyaka, Juvenal
Veröffentlicht: (2025)

Descriptive set theory of separable Fréchet spaces
von: Braga, Bruno de Mendonça, et al.
Veröffentlicht: (2025)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
von: Melleray, Julien
Veröffentlicht: (2026)

Very basic set theory
von: Homan, Doeko
Veröffentlicht: (2023)

Constraint satisfaction problems, compactness and non-measurable sets
von: Tardif, Claude
Veröffentlicht: (2025)

Stable first order theories as simplicial profinite sets
von: Gavrilovich, Misha
Veröffentlicht: (2025)

Quantum set theory: quantum conditionals and order of observable
von: Ozawa, Masanao
Veröffentlicht: (2024)

Finding descending sequences through ill-founded linear orders
von: Goh, Jun Le, et al.
Veröffentlicht: (2020)

The weakness of finding descending sequences in ill-founded linear orders
von: Goh, Jun Le, et al.
Veröffentlicht: (2024)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
von: Curzi, Gianluca, et al.
Veröffentlicht: (2026)

n-dependent continuous theories and hyperdefinable sets
von: Fernández, Adrián Portillo
Veröffentlicht: (2024)

Perfect set dichotomy theorem in generalized Solovay model
von: Sakai, Hiroshi, et al.
Veröffentlicht: (2025)

The logic behind desirable sets of things, and its filter representation
von: de Cooman, Gert, et al.
Veröffentlicht: (2023)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
von: Bodor, Bertalan, et al.
Veröffentlicht: (2025)