Cover Image

Gradualist descriptionalist set theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Simmons, David
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tarskian truth theories over set theory
by: Enayat, Ali
Published: (2026)

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

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

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

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

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

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

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

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

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

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

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

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

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
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)

Very basic set theory
by: Homan, Doeko
Published: (2023)

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

n-dependent continuous theories and hyperdefinable sets
by: Fernández, Adrián Portillo
Published: (2024)

Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)

Free sets, thin sets and rainbows for barriers
by: Carlucci, Lorenzo, et al.
Published: (2026)

Star operation, microscopic sets and porous sets
by: Perkowska, Daria, et al.
Published: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

Parameterized D-torsors in differential Galois theory
by: Sánchez, Omar León, et al.
Published: (2026)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

On definable J-sets
by: Zhang, Zhentao
Published: (2025)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
by: Meretzky, David, et al.
Published: (2026)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
by: Džamonja, Mirna
Published: (2025)

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

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

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

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

The set of injections and the set of surjections on a set
by: Natthajak Kamkru, et al.
Published: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

The $λ$-PSP at $λ$-coanalytic sets
by: Barrera, Fernando, et al.
Published: (2025)

Partitioning the real line into Borel sets
by: Brian, Will
Published: (2021)