:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Simmons, David
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2603.27077
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Tarskian truth theories over set theory
por: Enayat, Ali
Publicado: (2026)

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

Implicative models of set theory
por: Maschio, Samuele, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

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

Very basic set theory
por: Homan, Doeko
Publicado: (2023)

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

Stable first order theories as simplicial profinite sets
por: Gavrilovich, Misha
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On definable J-sets
por: Zhang, Zhentao
Publicado: (2025)

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

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

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

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

Function spaces for orbit-finite sets
por: Bojańczyk, Mikołaj, et al.
Publicado: (2024)

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

Definable sets in Skolem arithmetic
por: Kamiński, Łukasz
Publicado: (2025)

Very large set axioms over constructive set theories
por: Jeon, Hanul, et al.
Publicado: (2022)