Image de couverture de livre

Class choice and the surprising weakness of Kelley-Morse set theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gitman, Victoria, Hamkins, Joel David, Johnstone, Thomas A.
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

The modal logic of arithmetic potentialism and the universal algorithm
par: Hamkins, Joel David
Publié: (2018)

How the continuum hypothesis could have been a fundamental axiom
par: Hamkins, Joel David
Publié: (2024)

A potentialist conception of ultrafinitism
par: Hamkins, Joel David
Publié: (2025)

Did Turing prove the undecidability of the halting problem?
par: Hamkins, Joel David, et autres
Publié: (2024)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
par: Hamkins, Joel David, et autres
Publié: (2022)

Satisfaction is not absolute
par: Hamkins, Joel David, et autres
Publié: (2013)

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
par: Gitman, Victoria, et autres
Publié: (2024)

Cardinals of the $P_κ(λ)$-Filter Games
par: Benhamou, Tom, et autres
Publié: (2025)

Global choice is not conservative over local choice for Zermelo set theory
par: Glazer, Elliot
Publié: (2023)

Extensional realizability and choice for dependent types in intuitionistic set theory
par: Frittaion, Emanuele
Publié: (2024)

Three surprising instances of dividing
par: Conant, Gabriel, et autres
Publié: (2023)

Gradualist descriptionalist set theory
par: Simmons, David
Publié: (2026)

Morse theory in definably complete d-minimal structures
par: Fujita, Masato, et autres
Publié: (2024)

Tarskian truth theories over set theory
par: Enayat, Ali
Publié: (2026)

Geometric theories for real number algebra without sign test or dependent choice axiom
par: Lombardi, Henri, et autres
Publié: (2024)

A weak theory of building blocks
par: Juvenal Murwanashyaka
Publié: (2024)

Fodor space in generalized descriptive set theory
par: Feldman, Ido, et autres
Publié: (2026)

Maximal δ-separated sets in separable metric spaces and weak forms of choice
par: Dybowski, Michał, et autres
Publié: (2024)

Implicative models of set theory
par: Maschio, Samuele, et autres
Publié: (2023)

Choice and independence of premise rules in intuitionistic set theory
par: Frittaion, Emanuele, et autres
Publié: (2024)

Randomness via infinite computation and effective descriptive set theory
par: Carl, Merlin, et autres
Publié: (2016)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
par: Herbelin, Hugo
Publié: (2024)

Characterizing fragments of collection principle in set theory with model theoretic properties
par: Chen, Junhong
Publié: (2025)

On some subtheories of strong dependent choice
par: Aguilera, Juan P., et autres
Publié: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
par: Dagnino, Francesco, et autres
Publié: (2024)

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

Individual choice sequences -- History, development and use
par: Niekus, Joop
Publié: (2025)

Simple Classes of Automatic Structures
par: Blumensath, Achim
Publié: (2025)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
par: Gullà, Gabriele
Publié: (2024)

Descriptive set theory of separable Fréchet spaces
par: Braga, Bruno de Mendonça, et autres
Publié: (2025)

Constructing crowded Hausdorff $P$-spaces in set theory without the axiom of choice
par: Tachtsis, Eleftherios, et autres
Publié: (2025)

Effective weak convergence and tightness of measures in computable Polish spaces
par: Rojas, Diego A.
Publié: (2024)

Quantum set theory: quantum conditionals and order of observable
par: Ozawa, Masanao
Publié: (2024)

Stable first order theories as simplicial profinite sets
par: Gavrilovich, Misha
Publié: (2025)

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

Very basic set theory
par: Homan, Doeko
Publié: (2023)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
par: Bodor, Bertalan, et autres
Publié: (2025)

A type theory for invertibility in weak $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2026)

n-dependent continuous theories and hyperdefinable sets
par: Fernández, Adrián Portillo
Publié: (2024)