Related papers: Dickson's lemma and weak Ramsey theory
Using the Newman and Penrose spin coefficient (NP) formalism, we examine the full Bianchi identities of general relativity in the context of gravitational lensing, where the matter and space-time curvature are projected into a lens plane…
We investigate the performance of an analytic model of the 3D matter distribution, which combines perturbation theory with halo models, for weak-lensing statistics. We compare our predictions for the weak-lensing convergence power spectrum…
The weak-binding relation is a useful tool to study the internal structure of hadrons from the observable quantities. We introduce the range correction in the weak-binding relation for the system having a sizable magnitude of the effective…
Some connections between the deviation equations and weak equivalence principle are investigated.
We study Ramsey's theorem for pairs and two colours in the context of the theory of $\alpha$-large sets introduced by Ketonen and Solovay. We prove that any $2$-colouring of pairs from an $\omega^{300n}$-large set admits an $\omega^n$-large…
We reveal a connection between the incompressibility method and the Lovasz local lemma in the context of Ramsey theory. We obtain bounds by repeatedly encoding objects of interest and thereby compressing strings. The method is demonstrated…
Roussel and Rubio proved a lemma which is essential in the proof of the Strong Perfect Graph Theorem. We give a new short proof of the main case of this lemma. In this note, we also give a short proof of Hayward's decomposition theorem for…
This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…
This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between…
Canonical relativized cylindric set algebras are used to sharpen the relative representation theorem for weakly associative relation algebras, that every complete atomic weakly associative relation algebra is isomorphic with the…
We characterize the computational content and the proof-theoretic strength of a Ramsey-type theorem for bi-colorings of so-called {\em exactly large} sets. An {\it exactly large} set is a set $X\subset\Nat$ such that $\card(X)=\min(X)+1$.…
We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.
We characterize weakly harmonic maps with respect to non-local Dirichlet forms by Markov processes and martingales. In particular, we can obtain discontinuous martingales on Riemannian manifolds from the image of symmetric stable processes…
This work is a follow-up to our previous work "A numerical approach related to defect-type theories for some weakly random problems in homogenization" (preprint available on this archive). It extends and complements, both theoretically and…
In this paper, we study on weak $I^K$-Cauchy condition as a generalization of weak $I^*$-Cauchy condition in a normed space. We investigate the relationship between weak $I$-Cauchy and weak $I^K$-Cauchy sequences using $AP(I,K)$-condition.…
We initiate a study of cohomological aspects of weakly almost periodic group representations on Banach spaces, in particular, isometric representations on reflexive Banach spaces. Using the Ryll-Nardzewski fixed point Theorem, we prove a…
Under no additional assumptions, in this paper we construct a Ramsey expansion for every category of finite objects with finite small Ramsey degrees. Our construction is based on the relationship between small Ramsey degrees, weak…
A property of weak stationarity of a matrix valued differential form at superdensity points of its vanishing set is proved. This result is then applied in the context of the Maurer-Cartan equation.
We show that the sequential closure of a family of probability measures on the canonical space of c{\`a}dl{\`a}g paths satisfying Stricker's uniform tightness condition is a weak${}^*$ compact set of semimartingale measures in the pairing…
We prove a Ramsey theorem for finite sets equipped with a partial order and a fixed number of linear orders extending the partial order. This is a common generalization of two recent Ramsey theorems due to Soki\'c. As a bonus, our proof…