Copertina

How the continuum hypothesis could have been a fundamental axiom

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Hamkins, Joel David
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

The modal logic of arithmetic potentialism and the universal algorithm
di: Hamkins, Joel David
Pubblicazione: (2018)

A potentialist conception of ultrafinitism
di: Hamkins, Joel David
Pubblicazione: (2025)

Did Turing prove the undecidability of the halting problem?
di: Hamkins, Joel David, et al.
Pubblicazione: (2024)

Satisfaction is not absolute
di: Hamkins, Joel David, et al.
Pubblicazione: (2013)

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

The measuring principle and the continuum hypothesis
di: Golshani, Mohammad, et al.
Pubblicazione: (2022)

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

The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuum
di: Asperó, David, et al.
Pubblicazione: (2022)

Squares, ultrafilters and forcing axioms
di: Lambie-Hanson, Chris, et al.
Pubblicazione: (2024)

An $\mathrm{NSOP}_{1}$ theory without the existence axiom
di: Mutchnik, Scott
Pubblicazione: (2024)

Topological product of modal logics with the McKinsey axiom
di: Kudinov, Andrey
Pubblicazione: (2024)

Adding a constant and an axiom to a doctrine
di: Guffanti, Francesca
Pubblicazione: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2023)

Weak Baumgartner axioms and universal spaces
di: Switzer, Corey Bacal
Pubblicazione: (2025)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
di: Rybakov, M., et al.
Pubblicazione: (2025)

Choice axioms and Postnikov completeness
di: Anel, Mathieu, et al.
Pubblicazione: (2024)

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

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

Fragments of Martin's axiom
di: Peng, Yinhe
Pubblicazione: (2025)

Dynamical ideals and the axiom of choice
di: Zapletal, Jindrich
Pubblicazione: (2024)

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
di: Sobota, Damian, et al.
Pubblicazione: (2023)

Paradoxical decompositions of free F2$F_2$‐sets and the Hahn‐Banach axiom
di: Marianne Morillon
Pubblicazione: (2024)

Echeloned saturation and forcing axioms
di: Garti, Shimon
Pubblicazione: (2024)

Computable learning of natural hypothesis classes
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2024)

Independence questions in a finite axiom-schematization of first-order logic
di: Jubin, Benoit
Pubblicazione: (2022)

On forcing axioms and weakenings of the Axiom of Choice
di: Bomfim, Diego Lima, et al.
Pubblicazione: (2024)

A modal logic translation of the AGM axioms for belief revision
di: Bonanno, Giacomo
Pubblicazione: (2025)

The *-variation of the Banach-Mazur game and forcing axioms
di: Yoshinobu, Yasuo
Pubblicazione: (2015)

Fischer-Servi logic does not have interpolation
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2026)

Local tabularity in MS4 with Casari's axiom
di: Meadors, Chase
Pubblicazione: (2024)

Distinguishing Martin's axiom from its restrictions
di: Peng, Yinhe
Pubblicazione: (2024)

Definable discrete sets with large continuum
di: Schrittesser, David
Pubblicazione: (2016)

Provability interpretation of non-normal modal logics having neighborhood semantics
di: Kogure, Haruka
Pubblicazione: (2025)

Countably compact extensions and cardinal characteristics of the continuum
di: Bardyla, Serhii, et al.
Pubblicazione: (2024)

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

Dirac - von Neumann axioms in the setting of Continuous Model Theory
di: Zilber, Boris
Pubblicazione: (2025)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
di: Higuchi, Joaquim Reizi
Pubblicazione: (2026)

How to avoid the commuting conversions of IPC
di: Santo, José Espírito, et al.
Pubblicazione: (2024)

Implications of computer science theory for the simulation hypothesis
di: Wolpert, David H.
Pubblicazione: (2024)