Related papers: A Galvin-Hajnal theorem for generalized cardinal c…
Assume GCH and let $\lambda$ denote an uncountable cardinal. We prove that if $\square_\lambda$ holds, then this may be witnessed by a coherent sequence $< C_\alpha | \alpha < \lambda^+ >$ with the following remarkable guessing property:…
In this article, we derive a congruence property of particular sum rules involving prime numbers. The resulting expression involves Bernoulli numbers and polynomials, for which we obtain, as a consequence, a general congruence relation as…
We call the solution of a kind of second order homogeneous partial differential equation as real kernel alpha-harmonic mappings. In this paper, the representation theorem, the Lipschitz continuity, the univalency and the related problems of…
We establish a generic vanishing theorem for surfaces in characteristic $p$ that lift to $W_2(k)$ and use it for surface classification of surfaces of general type with Euler characteristic 1 and large Albanese dimension.
We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are…
In the paper we consider models of generalized counting processes time-changed by a general inverse subordinator, we characterize their distributions and present governing equations for them. The equations are given in terms of the…
We discuss counting problems linked to finite versions of Cantor's diagonal of infinite tableaux. We extend previous results of [2] by refining an equivalence relation that reduces significantly the exhaustive generation. New enumerative…
It is shown that any denumerable list L to which Cantor's diagonal method was applied is incomplete. However, this doesn't allow us to affirm that the cardinality of the real numbers of the interval [0, 1] is greater than the cardinality of…
Relative to class many supercompact cardinals, we construct a model of $\ZFC+\GCH$ where for every singular cardinal $\delta$ of countable cofinality and every regular uncountable $\mu<\delta$ there are stationarily many non-approachable…
Improving a result of Woodin, we identify some classes of individually consistent but mutually inconsistent generic large cardinal axioms.
We investigate negative square-brackets partition relations at successors of singular cardinals of countable cofinality. Along the way we prove some club-guessing results.
In this paper we shall prove that any $2$-transitive finitely homogeneous structure with a supersimple theory satisfying a generalized amalgamation property is a random structure. In particular, this adapts a result of Koponen for binary…
The Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very…
The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $\kappa$ is singular strong limit, then $2^{\kappa}=\kappa^+$. We prove that given a singular cardinal…
In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{\omega+1}$ carries a uniform ultrafilter that is $\theta$-indecomposable for every uncountable cardinal $\theta<\aleph_\omega$. In this…
We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed…
We prove a computable version of the Hall Harem Theorem where the matching realizes a unary function with controlled sizes of cycles. We apply it to non-amenable computable coarse spaces. As a result, we obtain a computable version of the…
A sufficient condition for the convergence of a generalized formal power series solution to an algebraic $q$-difference equation is provided. The main result leans on a geometric property related to the semi-group of (complex) power…
We prove a generalized version of Kazhdan's theorem for canonical forms on Riemann surfaces. In the classical version, one starts with an ascending sequence $\{S_n \rightarrow S\}$ of finite Galois covers of a hyperbolic Riemann Surface…
We investigate regularity properties derived from tree-like forcing notions in the setting of "generalized descriptive set theory", i.e., descriptive set theory on $\kappa^\kappa$ and $2^\kappa$, for regular uncountable cardinals $\kappa$.