Related papers: Reverse mathematics and a Ramsey-type K\"onig's Le…
Reverse Mathematics is a program in the foundations of mathematics which provides an elegant classification of theorems of ordinary mathematics based on computability. Our aim is to provide an alternative classification of theorems based on…
We show a short proof of Higman's lemma using Friedman's adjacent Ramsey theorem for pairs. This provides an alternative proof of the known upper bound for the reverse mathematical status of Higman's lemma and that of its miniaturised…
The dual Drazin inverse is an important dual generalized inverse. In this paper, to extend it we introduce the weak dual Drazin inverse which is unique and exists for any square dual matrix. When the dual Drazin inverse exists, it coincides…
In this survey article we outline the history of the twin theories of weak normality and seminormality for commutative rings and algebraic varieties with an emphasis on the recent developments in these theories over the past fifteen years.…
We argue that we could make a scenario of deriving quantum mechanics, as a random dynamics project, in the sense of it being almost unavoidable. The basic idea is based on the weak value formulation.
We completely characterize the weak differentiability (or, in other words Gateaux differentiability) of the norm in the spaces of bounded multilinear maps. Also, we obtain a multilinear generalization of the well-known Bhatia-\v{S}emrl…
We propose the almost-geodesic motion of self-gravitating test bodies as a possible selection rule among metric theories of gravity. Starting from a heuristic statement, the "gravitational weak equivalence principle", we build a formal,…
We study the order theoretic properties of relative weak injectivity, w.r.i., in short, in the category of C*-algebras. We prove that Arveson's extension theorem, with additional order assumption on the morphisms, is tightly connected with…
We show that the axioms of Weak Kleene Algebra (WKA) are sound and complete for the theory of regular expressions modulo simulation equivalence, assuming their completeness for monodic trees (as conjectured by Takai and Furusawa).
Lecture notes on Weak Topologies: We discuss about the weak and weak star topologies on a normed linear space. Our aim is to prove the well known Banach-Alaouglu theorem and discuss some of its consequences, in particular, characterizations…
The weak regular coherence is a coarse property of a finitely generated group $\Gamma$. It was introduced by G. Carlsson and this author to play the role of a weakening of Waldhausen's regular coherence as part of computation of the…
This paper is devoted to give a complete unified study of several weak forms of $\ddb-$Lemma on compact complex manifolds.
This paper discusses generalized weak rigidity theory, and aims to apply the theory to formation control problems with a gradient flow law. The generalized weak rigidity theory is utilized in order that desired formations are characterized…
We address the issue of how to properly treat, and in a more general setting, the concept of a weak value of a weak measurement in quantum mechanics. We show that for this purpose, one must take in account the effects of the measuring…
In the present paper, a class of new simple modules over the $N=1$ Ramond algebra are constructed, which are induced from simple modules over some finite dimensional solvable Lie superalgebras. These new modules are simple restricted…
We study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due to Carlson and Simpson. These theorems have multiple applications in Ramsey's theory, such as the existence of finite big Ramsey numbers for the…
We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle asserting that every family of sets has a $\subseteq$-maximal…
The Carlson-Simpson lemma is a combinatorial statement occurring in the proof of the Dual Ramsey theorem. Formulated in terms of variable words, it informally asserts that given any finite coloring of the strings, there is an infinite…
We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL_0 over RCA_0. This confirms a conjecture of Giusto and Simpson that was also phrased as a question in…
We construct an $\ll^2$-solution (also known as a weakly low solution) to ${\mathrm{D}^2}$ within ${\mathrm{B}\Sigma^0_{3}}$ and prove the $\ll^2$-basis theorem for $\mathrm{RT}^2$ over ${\mathrm{B}\Sigma^0_{3}}$. The $\ll^2$-basis theorem…