Cover Image

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ben-Neria, Omer, Kaplan, Eyal
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
by: Adkisson, William, et al.
Published: (2025)

On large externally definable sets in NIP
by: Bays, Martin, et al.
Published: (2022)

Cofinal families of finite VC-dimension
by: Ben-Neria, Omer, et al.
Published: (2025)

A note on the Ketonen order and Lipschitz reducibility between ultrafilters
by: Kaplan, Eyal
Published: (2025)

The number of normal measures, revisited
by: Kaplan, Eyal
Published: (2025)

Jonsson and Magidor filters
by: Ben-Neria, Omer, et al.
Published: (2025)

On fresh sets in iterations of Prikry type forcing notions
by: Gitik, Moti, et al.
Published: (2024)

Measures that violate the Generalized Continuum Hypothesis
by: Benhamou, Tom, et al.
Published: (2025)

The number of measures on very large measurable cardinals
by: Apter, Arthur W., et al.
Published: (2026)

Aronszajn trees and maximality
by: Ben-Neria, Omer, et al.
Published: (2023)

Flatness and Nonforking without the Continuum Hypothesis
by: Majozi, Philani Rodney
Published: (2025)

Generic derivations, differential largeness, and NTP$_2$
by: Kaplan, Elliot, et al.
Published: (2025)

Monotone $T$-convex $T$-differential fields
by: Kaplan, Elliot, et al.
Published: (2023)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
by: Hoffelner, Stefan
Published: (2025)

Machine learning and the Continuum Hypothesis
by: Hart, Klaas Pieter
Published: (2019)

Failure of an higher analogue of Mho
by: Feldman, Ido
Published: (2024)

Dimension theory for the asymptotic couple of the field of logarithmic transseries
by: Gehret, Allen, et al.
Published: (2025)

Computability Limits of Sequential Hypothesis Testing
by: Leshem, Amir
Published: (2026)

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
by: Hoffelner, Stefan
Published: (2025)

Infinite Cliques in Simple and Stable Graphs
by: Halevi, Yatir, et al.
Published: (2024)

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
by: Benhamou, Tom, et al.
Published: (2024)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
by: Motoura, Shota, et al.
Published: (2025)

On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)

The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest
by: Bennett, Michael Timothy
Published: (2023)

Failure divergence refinement for Event-B
by: Stock, Sebastian, et al.
Published: (2025)

Predicate Subtypes in VerCors
by: Dubbeling, Tycho, et al.
Published: (2026)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Examples and Nonexamples of Distal Metric Structures
by: Anderson, Aaron, et al.
Published: (2025)

Supercompact Measures and the Galvin Property
by: Benhamou, Tom, et al.
Published: (2025)

Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops
by: Nakamura, Yoshiki
Published: (2025)

Impact Analysis of Data Drift Towards The Development of Safety-Critical Automotive System
by: Hossain, Md Shahi Amran, et al.
Published: (2024)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
by: Şakar, Ömer, et al.
Published: (2026)

Failure of singular compactness for Hom
by: Asgharzadeh, Mohsen, et al.
Published: (2025)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)