Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gitman, Victoria, Hamkins, Joel David, Johnstone, Thomas A.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

The modal logic of arithmetic potentialism and the universal algorithm
von: Hamkins, Joel David
Veröffentlicht: (2018)

How the continuum hypothesis could have been a fundamental axiom
von: Hamkins, Joel David
Veröffentlicht: (2024)

A potentialist conception of ultrafinitism
von: Hamkins, Joel David
Veröffentlicht: (2025)

Did Turing prove the undecidability of the halting problem?
von: Hamkins, Joel David, et al.
Veröffentlicht: (2024)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
von: Hamkins, Joel David, et al.
Veröffentlicht: (2022)

Satisfaction is not absolute
von: Hamkins, Joel David, et al.
Veröffentlicht: (2013)

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
von: Gitman, Victoria, et al.
Veröffentlicht: (2024)

Cardinals of the $P_κ(λ)$-Filter Games
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

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

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

Three surprising instances of dividing
von: Conant, Gabriel, et al.
Veröffentlicht: (2023)

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

Morse theory in definably complete d-minimal structures
von: Fujita, Masato, et al.
Veröffentlicht: (2024)

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

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

A weak theory of building blocks
von: Juvenal Murwanashyaka
Veröffentlicht: (2024)

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

Maximal δ-separated sets in separable metric spaces and weak forms of choice
von: Dybowski, Michał, et al.
Veröffentlicht: (2024)

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

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

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

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

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

On some subtheories of strong dependent choice
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

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

Individual choice sequences -- History, development and use
von: Niekus, Joop
Veröffentlicht: (2025)

Simple Classes of Automatic Structures
von: Blumensath, Achim
Veröffentlicht: (2025)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
von: Gullà, Gabriele
Veröffentlicht: (2024)

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

Constructing crowded Hausdorff $P$-spaces in set theory without the axiom of choice
von: Tachtsis, Eleftherios, et al.
Veröffentlicht: (2025)

Effective weak convergence and tightness of measures in computable Polish spaces
von: Rojas, Diego A.
Veröffentlicht: (2024)

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

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

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

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

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

A type theory for invertibility in weak $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2026)

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