Copertina

Effectiveness and strong graph indivisibility

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dzhafarov, Damir D., Solomon, Reed, Volpi, Andrea
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

The Ginsburg--Sands theorem and computability theory
di: Benham, Heidi, et al.
Pubblicazione: (2024)

Finite combinatorics and computability theory
di: Dzhafarov, Damir D., et al.
Pubblicazione: (2026)

More on the indivisibility of $\mathbb{Q}$
di: Pauly, Arno
Pubblicazione: (2024)

Reverse mathematics and dimension of posets
di: Marcone, Alberto, et al.
Pubblicazione: (2026)

The barrier Ramsey theorem
di: Marcone, Alberto, et al.
Pubblicazione: (2025)

Shininess, strong politeness, and unicorns
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

A note on strong Erdős-Hajnal for graphs with bounded VC-minimal complexity
di: Fu, Yayi
Pubblicazione: (2023)

The strength of Ramsey's theorem for $α$-large sets
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2026)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

On some subtheories of strong dependent choice
di: Aguilera, Juan P., et al.
Pubblicazione: (2024)

The strong reflecting property and Harrington's Principle
di: Cheng, Yong
Pubblicazione: (2015)

Decomposing graphs into stable and ordered parts
di: Buffière, Hector, et al.
Pubblicazione: (2025)

Decidability for Sturmian words
di: Hieronymi, Philipp, et al.
Pubblicazione: (2021)

Reflexive graph lenses in univalent foundations
di: Sterling, Jonathan
Pubblicazione: (2024)

On $ω$-strongly measurable cardinals in $\mathbb{P}_{\max}$ extensions
di: Aksornthong, Navin, et al.
Pubblicazione: (2023)

Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
di: Maxa, Martin
Pubblicazione: (2026)

Effective Versions of Strong Measure Zero
di: Rayman, Matthew
Pubblicazione: (2025)

The Henson graphs: colorings and codings
di: Cholak, Peter, et al.
Pubblicazione: (2026)

On chromatic number of countable graphs
di: Kikyo, Hirotaka, et al.
Pubblicazione: (2026)

Generalized Effective Reducibility
di: Carl, Merlin
Pubblicazione: (2016)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
di: Bahrami, Saeideh
Pubblicazione: (2026)

On first-order transductions of classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

Ultrafilter extensions of bounded graphs are elementary
di: Molnár, Zalán
Pubblicazione: (2024)

Epsilon-saturation for stable graphs and Littlestone classes
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2025)

Martin's Maximum${}^{\ast, ++}_{\mathfrak{c}}$ in $\mathbb{P}_{\max}$ extensions of strong models of determinacy
di: Schindler, Ralf, et al.
Pubblicazione: (2024)

The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines
di: Carl, Merlin
Pubblicazione: (2022)

A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

Growth of regular partitions 4: strong regularity and the pairs partition
di: Terry, C.
Pubblicazione: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
di: Terry, C.
Pubblicazione: (2024)

"Weak yet strong" restrictions of Hindman's Finite Sums Theorem
di: Carlucci, Lorenzo
Pubblicazione: (2016)

A very sharp threshold for first order logic distinguishability of random graphs
di: Benjamini, Itai, et al.
Pubblicazione: (2022)

Effectivity and Reducibility with Ordinal Turing Machines
di: Carl, Merlin
Pubblicazione: (2018)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
di: Koul, Prajval, et al.
Pubblicazione: (2025)

Borel line graphs
di: Anderson, James, et al.
Pubblicazione: (2023)

Modal reduction principles: a parametric shift to graphs
di: Conradie, Willem, et al.
Pubblicazione: (2024)

Decomposition horizons and a characterization of stable hereditary classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

On the Effectiveness of Partition Regularity over Algebraic Structures
di: Laboska, Gabriela
Pubblicazione: (2025)

Computably strongly self-absorbing C*-algebras
di: Goldbring, Isaac
Pubblicazione: (2024)