Imagen de Portada

A learning problem whose consistency is equivalent to the non-existence of real-valued measurable cardinals

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Pestov, Vladimir G.
Formato:	Preprint
Publicado:	2020
Materias:	Machine Learning Logic 62H30, 54F45, 03E55 I.2.6
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Universal consistency of the $k$-NN rule in metric spaces and Nagata dimension. III
por: Pestov, Vladimir G.
Publicado: (2025)

Universal consistency of the $k$-NN rule in metric spaces and Nagata dimension. II
por: Kumari, Sushma, et al.
Publicado: (2023)

Power $Σ_1$ in Card with two Woodin cardinals
por: Schlutzenberg, Farmer
Publicado: (2025)

Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
por: Dimonte, Vincenzo, et al.
Publicado: (2025)

Large cardinals beyond HOD
por: Aguilera, Juan Pablo, et al.
Publicado: (2025)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
por: Lücke, Philipp
Publicado: (2024)

Topological dynamics and the complexity of strong types
por: Krupiński, Krzysztof, et al.
Publicado: (2015)

Mice with Woodin cardinals from a Reinhardt
por: Schlutzenberg, Farmer
Publicado: (2024)

Low level definability above large cardinals
por: Schlutzenberg, Farmer
Publicado: (2024)

Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
por: Fuchino, Sakaé
Publicado: (2025)

Large cardinals, structural reflection, and the HOD Conjecture
por: Aguilera, Juan P., et al.
Publicado: (2024)

Periodic frames
por: Beklemishev, Lev D., et al.
Publicado: (2024)

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

Two-cardinal derived topologies, indescribability and Ramseyness
por: Cody, Brent, et al.
Publicado: (2023)

The first measurable can be the first inaccessible cardinal
por: Gitik, Moti, et al.
Publicado: (2024)

A note on uniform continuity of monotone functions
por: Pol, Roman, et al.
Publicado: (2025)

Game semantics for the constructive $μ$-calculus
por: Pacheco, Leonardo
Publicado: (2023)

The consistency strength of determinacy when all sets are universally Baire
por: Müller, Sandra
Publicado: (2021)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
por: Schlutzenberg, Farmer
Publicado: (2020)

Fine structure from normal iterability
por: Schlutzenberg, Farmer
Publicado: (2020)

$\star$-translation for Varsovian models
por: Schlutzenberg, Farmer
Publicado: (2026)

Full normalization for transfinite stacks
por: Schlutzenberg, Farmer
Publicado: (2021)

Of Mice and Machetes
por: Henney-Turner, Christopher, et al.
Publicado: (2024)

Varsovian models $ω$
por: Schlutzenberg, Farmer
Publicado: (2022)

Full normalization for $κ^+$-supercompactness
por: Schlutzenberg, Farmer
Publicado: (2025)

The initial segment condition for $κ^+$-supercompactness
por: Schlutzenberg, Farmer
Publicado: (2023)

Ordinal definability in $L[\mathbb{E}]$
por: Schlutzenberg, Farmer
Publicado: (2020)

The fine structure of operator mice
por: Schlutzenberg, Farmer, et al.
Publicado: (2016)

Iterability for (transfinite) stacks
por: Schlutzenberg, Farmer
Publicado: (2018)

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
por: Schlutzenberg, Farmer
Publicado: (2019)

Saturation properties for compositional truth with propositional correctness
por: Wcisło, Bartosz
Publicado: (2024)

No universal group in a cardinal
por: Shelah, Saharon
Publicado: (2013)

A complicated family of trees with omega + 1 levels
por: Shelah, Saharon
Publicado: (2014)

Lewis and Brouwer meet Strong Löb
por: Visser, Albert, et al.
Publicado: (2024)

Counting Sets with Surnatural Numbers
por: Lynch, Peter, et al.
Publicado: (2023)

Varsovian models II
por: Sargsyan, Grigor, et al.
Publicado: (2021)

Ladder mice
por: Schlutzenberg, Farmer
Publicado: (2024)

Mouse scales
por: Schlutzenberg, Farmer
Publicado: (2023)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
por: Watson, Connor
Publicado: (2024)

Long games just beyond fixed countable length
por: Gappo, Takehiko, et al.
Publicado: (2026)