Related papers: Generalizing Goodstein's theorem and Cichon's inde…

Let $G$ be a metrizable compact group, $A$ a separable C*-algebra and $\alpha$ a strongly continuous action of $G$ on $A$. Provided that $\alpha$ satisfies the continuous Rokhlin property, we show that the property of satisfying the UCT in…

We prove a refinement of Quillen's Theorem A, providing necessary and sufficient conditions for a functor to be cofinal with respect to diagrams valued in a fixed $\infty$-category. We deduce this from a general duality phenomenon for…

We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy…

We give several new equivalences of $NIP$ for formulas and new proofs of known results using [T87] and [HOR91]. We emphasize that Keisler measures are more complicated than types (even in $NIP$ context), in an analytic sense. Among other…

We show that, contrary to the commonly held view, there is a natural and optimal compactness theorem for $\mathrm{L}_{\infty\infty}$ which generalizes the usual compactness theorem for first order logic. The key to this result is the switch…

We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…

We give new proofs on Arnold Chord Conjecture and Weinstein Conjecture in M\times C which generalizes the previous works.

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

We prove a generalization of Gowers' theorem for $\mathrm{FIN}_{k}$ where, instead of the single tetris operation $T:\mathrm{FIN}_{k}\rightarrow \mathrm{FIN}_{k-1}$, one considers all maps from $\mathrm{FIN}_{k}$ to $\mathrm{FIN}_{j}$ for…

For functions $p(z) = 1 + \sum_{n=1}^\infty p_n z^n$ holomorphic in the unit disk, satisfying $ {\rm Re}\, p(z) > 0$, we generalize two inequalities proved by Livingston in 1969 and 1985, and simplify their proofs. One of our results states…

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the…

Beginning from the resolution of Dirichlet L function, using the inner product formula of infinite-dimensional vectors in the complex space, the author proved the world's baffling problem--Generalized Riemann hypothesis.

We propose a generalization of Bailey's lemma, useful for proving $q$-series identities. As an application, generalizations of Euler's identity, the Rogers-Ramanujan identities, and the Andrews-Gordon identities are derived. This…

We prove the equivalence of two seemingly very different ways of generalising Rademacher's theorem to metric measure spaces. One such generalisation is based upon the notion of forming partial derivatives along a very rich structure of…

We give a combinatorial proof of the transcendence of $L(1,\chi_s)/\Pi$, where $L(1,\chi_s)$ (resp. $\Pi$) is the analogue in characteristic $p$ of the function $L$ of Dirichlet (resp. $\pi$). This result has been proven by G. Damamme using…

In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in (Kontinen and Vaananen 2013) and (Hannula 2015). We prove a characterization…

We start with a bijective proof of Schur's theorem due to Alladi and Gordon and describe how a particular iteration of it leads to some very general theorems on colored partitions. These theorems imply a number of important results,…

By using Liu's $q$-partial differential equations theory, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, if and only if it can be expanded in terms of homogeneous…

We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove,…

We propose a unifying picture where the notion of generalized entropy is related to information theory by means of a group-theoretical approach. The group structure comes from the requirement that an entropy be well defined with respect to…