Related papers: Uniform n-place functions on T\subseteq ds(\alpha)
In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are…
An equitable $(t,k,d)$-tree-coloring of a graph $G$ is a coloring to vertices of $G$ such that the sizes of any two color classes differ by at most one and the subgraph induced by each color class is a forest of maximum degree at most $k$…
Ordered, linear, and other substructural type systems allow us to expose deep properties of programs at the syntactic level of types. In this paper, we develop a family of unary logical relations that allow us to prove consequences of…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
We provide a general framework to construct colorings avoiding short monochromatic arithmetic progressions in Euclidean Ramsey theory. Specifically, if $\ell_m$ denotes $m$ collinear points with consecutive points of distance one apart, we…
We classify the irreducible modules of a rational Lorentzian lattice vertex operator algebra (LLVOA) based on an even, self-dual Lorentzian lattice $\Lambda\subset\mathbb{R}^{m,n}$ of signature $(m,n)$. We show that the set of isomorphism…
The main result is Theorem: Let A be an R-algebra, mu, lambda be cardinals such that |A|<=mu=mu^{aleph_0}<lambda<=2^mu. If A is aleph_0-cotorsion-free or A is countably free, respectively, then there exists an aleph_0-cotorsion-free or a…
In this paper we prove that for any finite coloring of N there are lambda,rho in N such that infinitely many pairs (x,y),(u,v) in N^2 satisfy the sets {lambda x, lambda y, x y, lambda(x+y)} and {u+rho, v+rho, u v+rho, u+v} being…
We study asymptotical probabilities of first order and monadic second order properties of Erdos-Renyi random graph G(n,n^{-a}). The random graph obeys FO (MSO) zero-one k-law if for any first order (monadic second order) formulae it is true…
The connections between Whitehead groups and uniformization properties were investigated by the third author in [Sh:98]. In particular it was essentially shown there that there is a non-free Whitehead (respectively, aleph_1-coseparable)…
Fix a number field $K$. For each nonzero $\alpha \in \mathbb{Z}_K$, let $\nu(\alpha)$ denote the number of distinct, nonassociate irreducible divisors of $\alpha$. We show that $\nu(\alpha)$ is normally distributed with mean proportional to…
Let $X$ and $Y$ be Banach spaces, and $T:X^*\to Y$ be an operator. We prove that if $X$ is Asplund and $Y$ has the approximation property, then for each Radon probability $\mu$ on $(B_{X^*},w^*)$ there is a sequence of $w^*$-to-norm…
Given an $n \times n$ complex matrix $A$, let $$\mu_{A}(x,y):= \frac{1}{n} |\{1\le i \le n, \Re \lambda_i \le x, \Im \lambda_i \le y\}|$$ be the empirical spectral distribution (ESD) of its eigenvalues $\lambda_i \in \BBC, i=1, ... n$. We…
Whenever the defining sequence of a Carleman ultraholomorphic class (in the sense of H. Komatsu) is strongly regular and associated with a proximate order, flat functions are constructed in the class on sectors of optimal opening. As…
In his work on the generalization of the Reeb stability theorem, Thurston conjectured that if the fundamental group of a compact leaf $L$ in a codimension-one transversely orientable foliation is amenable and if the first cohomology group…
A structure $\mathcal{A}=\left(A;E_i\right)_{i\in n}$ where each $E_i$ is an equivalence relation on $A$ is called an $n$-grid if any two equivalence classes coming from distinct $E_i$'s intersect in a finite set. A function $\chi: A \to n$…
In this paper we present a generalization of the Radon-Nikodym theorem proved by Pedersen and Takesaki. Given a normal, semifinite and faithful (n.s.f.) weight $\phi$ on a von Neumann algebra M and a strictly positive operator $\delta$,…
In this paper we at first consider plane trees with the root vertex and a marked directed edge, outgoing from the root vertex. For such trees we introduce a new characteristic --- the \emph{parity}, using the bracket code. It turns out that…
We investigate the infinite version of the $k$-switch problem of Greenwell and Lov\'asz. Given infinite cardinals ${\kappa}$ and ${\lambda}$, for functions $x,y\in {}^{\lambda}\kappa $ we say that they are totally different if $x(i)\ne…
Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating $\beta$-normal linear lambda terms. In this brief note, it is shown (by…