Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.08079

Idiosynchromatic Poetry

Thilo Weinert
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove equivalences of asymmetric partition relations involving natural numbers and products of weakly compact cardinals $κ$, infinite cardinals $λ<κ$ and natural numbers to certain classes of finitary problems in the theory of edge-coloured digraphs. We are able to determine three classes of Ramsey numbers exactly, typical examples in these classes are $r(ω^2 2, 3)$, $r(κλ2, 3)$ and $r(κλ3, 3)$. We moreover provide general upper bounds for $r(ω^2 m, 3)$ and $r(κλm, n)$.

Explore related subjects

math.LOmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Thilo Weinert. 2026-11-05. Idiosynchromatic Poetry. https://doi.org/10.1007/s00493-011-2980-1

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Dubnov-Ivanov-Nagata-Higman Theorem for NIP nilrings

We prove that NIP nilrings of bounded nilexponent are nilpotent. We also deduce that NIP $ω$-categorical $n$-Engel Lie algebras of characteristic $p>n$ are nilpotent, yielding a case of the Lie algebra analogous of Wilson conjecture for $ω$-categorical groups.

math.LO↗
arXiv2026

Formalization of Filter-Method Construction for Real Numbers in Coq

This paper presents a formalization for a theory of constructing real numbers using concepts related to filters. The formalization is implemented using the Coq proof assistant and is grounded in axiomatic set theory. The theory encompasses various notions such as filters, ultrafilters, principal ultrafilters, and arithmetical ultrafilters. A special filter, namely the non-principal arithmetical ultrafilter, whose existence requires the Continuum Hypothesis to be proven, is employed to establish several non-standard number sets: *N, *Z and *Q. The set of real numbers, R, is subsequently derived by equivalently classifying a specific subset of *Q. The entire theory is thoroughly formalized, with each detail verified to ensure rigor and precision. This work contributes a new selection of foundational materials for the formalization of mathematical theories.

math.LO↗