Imagen de Portada

Game-theoretic variants of splitting number

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chapital, Jorge Antonio Cruz, Goto, Tatsuya, Hayashi, Yusuke, Yamazoe, Takashi
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Game-theoretic variants of cardinal invariants
por: Chapital, Jorge Antonio Cruz, et al.
Publicado: (2023)

The comparability numbers and the incomparability numbers
por: Goto, Tatsuya
Publicado: (2023)

On construction schemes: building the uncountable from finite pieces
por: Chapital, Jorge Antonio Cruz
Publicado: (2024)

Cichoń's maximum with evasion number
por: Yamazoe, Takashi
Publicado: (2024)

Evasion numbers via zero-prediction
por: Yamazoe, Takashi
Publicado: (2026)

Notes on the coexistence of limit notions
por: Yamazoe, Takashi
Publicado: (2024)

Notes on slalom prediction
por: Yamazoe, Takashi
Publicado: (2025)

Dominating numbers at singular cardinals
por: Hayashi, Yusuke
Publicado: (2025)

Separating covering numbers and separating uniformity numbers of Hausdorff measures need large continuum
por: Goto, Tatsuya
Publicado: (2025)

Cichoń's maximum with cardinals of the closed null ideal
por: Yamazoe, Takashi
Publicado: (2024)

Multiple gaps and some finitizations of club and CH
por: Chapital, Jorge Antonio Cruz
Publicado: (2025)

Goldstern's principle about unions of null sets
por: Goto, Tatsuya
Publicado: (2022)

Keisler's Theorem and Cardinal Invariants
por: Goto, Tatsuya
Publicado: (2021)

Cardinal invariants associated with Hausdorff measures
por: Goto, Tatsuya
Publicado: (2021)

The Hausdorff measure due to Davies and Rogers and its cardinal invariants
por: Goto, Tatsuya
Publicado: (2026)

$κ$-barely independent families and Tukey types of ultrafilters
por: Chapital, Jorge Antonio Cruz
Publicado: (2025)

There may be an $n$-entangled set but no $n+1$-entangled sets
por: Chapital, Jorge Antonio Cruz
Publicado: (2025)

Goldstern's Principle with respect to Hausdorff Measures
por: Goto, Tatsuya
Publicado: (2025)

Stationary list colorings
por: Hayashi, Yusuke
Publicado: (2025)

Forcing Axioms and construction schemes
por: Chapital, Jorge Antonio Cruz, et al.
Publicado: (2025)

All Ordinals are Cop-Robber Ordinals
por: Chapital, Jorge Cruz, et al.
Publicado: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

Some results in non-monotonic proof-theoretic semantics
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

Cardinal invariants of idealized Miller null sets
por: Cieślak, Aleksander, et al.
Publicado: (2026)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Countability constraints in order-theoretic approaches to computability
por: Hack, Pedro, et al.
Publicado: (2022)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

A proof-theoretic approach to abstract interpretation
por: D'Silva, Vijay, et al.
Publicado: (2026)

Game of grounds
por: Catta, Davide, et al.
Publicado: (2025)

Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
por: Di Nola, Antonio, et al.
Publicado: (2024)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
por: Hayashi, Daichi
Publicado: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
por: Takemura, Ryo
Publicado: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

An ecumenical view of proof-theoretic semantics
por: Nascimento, Victor, et al.
Publicado: (2023)

Trace definability II: model-theoretic linearity
por: Walsberg, Erik
Publicado: (2026)

Axiomatic theories of supervaluational truth: completing the picture
por: Dopico, Pablo, et al.
Publicado: (2024)