Copertina

Skands and coskands (The non-founded set theory with individuals and its model in the Field of all Conway numbers)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Lisica, Ju. T.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory
di: Bertram, Wolfgang
Pubblicazione: (2025)

Implicative models of set theory
di: Maschio, Samuele, et al.
Pubblicazione: (2023)

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

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

Characterizing fragments of collection principle in set theory with model theoretic properties
di: Chen, Junhong
Pubblicazione: (2025)

Tarskian truth theories over set theory
di: Enayat, Ali
Pubblicazione: (2026)

Gradualist descriptionalist set theory
di: Simmons, David
Pubblicazione: (2026)

A small ultrafilter number at all $\aleph_3\leqκ<\aleph_ω$
di: Eshkol, Julian
Pubblicazione: (2025)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
di: Hamkins, Joel David
Pubblicazione: (2022)

Relative to any non-arithmetic set
di: Harrison-Trainor, Matthew
Pubblicazione: (2025)

Fodor space in generalized descriptive set theory
di: Feldman, Ido, et al.
Pubblicazione: (2026)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
di: Shamkanov, Daniyar
Pubblicazione: (2025)

Borel complexity of the set of typical numbers
di: Tomaszewski, Jakub
Pubblicazione: (2022)

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

There are more non-Cantorian sets than are Cantorian
di: Al-Johar, Zuhair
Pubblicazione: (2025)

Choice and independence of premise rules in intuitionistic set theory
di: Frittaion, Emanuele, et al.
Pubblicazione: (2024)

Randomness via infinite computation and effective descriptive set theory
di: Carl, Merlin, et al.
Pubblicazione: (2016)

Extensional realizability and choice for dependent types in intuitionistic set theory
di: Frittaion, Emanuele
Pubblicazione: (2024)

Class choice and the surprising weakness of Kelley-Morse set theory
di: Gitman, Victoria, et al.
Pubblicazione: (2026)

A topological counterpart of well-founded trees in dependent type theory
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2023)

The equivariant model structure on cartesian cubical sets
di: Awodey, Steve, et al.
Pubblicazione: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Global choice is not conservative over local choice for Zermelo set theory
di: Glazer, Elliot
Pubblicazione: (2023)

A non-sequential arithmetical theory with pairing
di: Murwanashyaka, Juvenal
Pubblicazione: (2025)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
di: Melleray, Julien
Pubblicazione: (2026)

Geometric theories for real number algebra without sign test or dependent choice axiom
di: Lombardi, Henri, et al.
Pubblicazione: (2024)

Descriptive set theory of separable Fréchet spaces
di: Braga, Bruno de Mendonça, et al.
Pubblicazione: (2025)

Perfect set dichotomy theorem in generalized Solovay model
di: Sakai, Hiroshi, et al.
Pubblicazione: (2025)

Stable first order theories as simplicial profinite sets
di: Gavrilovich, Misha
Pubblicazione: (2025)

Quantum set theory: quantum conditionals and order of observable
di: Ozawa, Masanao
Pubblicazione: (2024)

Some model theory of the Heisenberg group
di: Frącek, Maciej, et al.
Pubblicazione: (2025)

Some model theory of quadratic geometries
di: Kestner, Charlotte, et al.
Pubblicazione: (2024)

Very basic set theory
di: Homan, Doeko
Pubblicazione: (2023)

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

The comparability numbers and the incomparability numbers
di: Goto, Tatsuya
Pubblicazione: (2023)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
di: Curzi, Gianluca, et al.
Pubblicazione: (2026)

A short note on model theory of C((t))
di: Zhang, Zhentao
Pubblicazione: (2025)

Ranking theories via encoded $β$-models
di: Jeon, Hanul, et al.
Pubblicazione: (2025)