Related papers: MA$_{\omega_1}(S)[S]$ does not imply $\mathcal{K}_…

We investigate completions of partial combinatory algebras (pcas), in particular of Kleene's second model $\mathcal{K}_2$ and generalizations thereof. We consider weak and strong notions of embeddability and completion that have been…

For a given Lie superalgebra, two ways of constructing color superalgebras are presented. One of them is based on the color superalgebraic nature of the Clifford algebras. The method is applicable to any Lie superalgebras and results in…

In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…

We show that the quantum covering group associated to osp(1|2n) has an associated colored quantum knot invariant \`a la Reshetikhin-Turaev, which specializes to a quantum knot invariant for osp(1|2n), and to the usual quantum knot invariant…

In this paper, perfect k-orthogonal colourings of tensor graphs are studied. First, the problem of determining if a given graph has a perfect 2-orthogonal colouring is reformulated as a tensor subgraph problem. Then, it is shown that if two…

There is no recursively enumerable sequence of sufficiently strong 2-consistent r.e. theories such that each proves the $2$-consistency of the next. Montalb\'an and Shavrukov independently asked whether this result generalizes to…

Let ${\mathcal M}_2(\mathbb F)$ be the algebra of 2$\times$2 matrices over the real or complex field $\mathbb F$. For a given positive integer $k\geq 1$, the $k$-commutator of $A$ and $B$ is defined by $[A,B]_k=[[A,B]_{k-1},B]$ with…

We study a parabolic complex Monge-Amp\`{e}re type equation of the form \eqref{MA} on a complete noncompact \K manifold. We prove a short time existence result and obtain basic estimates. Applying these results, we prove that under certain…

Explicit generators are found for the group $G_2$ of automorphisms of the algebra $\mS_2$ of one-sided inverses of a polynomial algebra in two variables over a field of characteristic zero. Moreover, it is proved that $$ G_2\simeq…

We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there…

Hadwiger's Conjecture asserts that every $K_t$-minor-free graph has a proper $(t-1)$-colouring. We relax the conclusion in Hadwiger's Conjecture via improper colourings. We prove that every $K_t$-minor-free graph is $(2t-2)$-colourable with…

Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $\mathfrak{x}$ such that…

We first develop a general theory of Johnson filtrations and Johnson homomorphisms for a group $G$ acting on another group $K$ equipped with a filtration indexed by a "good" ordered commutative monoid. Then, specializing it to the case…

We show that every subgroup of the mapping class group MCG(S) of a compact surface S is either virtually abelian or it has infinite dimensional second bounded cohomology. As an application, we give another proof of the…

Extending the notion of projective means we first generalize an invariance identity related to the Carlson log given in a recent paper of P. Kahlig and J. Matkowski, and then, more generally, given a bivariate symmetric, homogeneous and…

Let $S$ be a compact orientable surface, and $\Mod(S)$ its mapping class group. Then there exists a constant $M(S)$, which depends on $S$, with the following property. Suppose $a,b \in \Mod(S)$ are independent (i.e., $[a^n,b^m]\not=1$ for…

We discuss various aspects of models with long-lived or stable colored particles. In particular we focus on an ideal Quirk model with electroweak neutral heavy (O(TeV)) particles which carry ordinary color and another $ SU'(3)$ color with a…

Suppose that there exist two K\"ahler metrics $\omega$ and $\alpha$ such that the metric contraction of $\alpha$ with respect to $\omega$ is constant, i.e. $\Lambda_{\omega} \alpha = \text{const}$. We prove that for all large enough $R>0$…

A counterexample is given for the Knaster-like conjecture of Makeev for functions on $S^2$. Some particular cases of another conjecture of Makeev, on inscribing a quadrangle into a smooth simple closed curve, are solved positively.

In this paper we present a new proof of the homological stability of the moduli space of closed surfaces in a simply connected background space $K$, which we denote by $S_g (K)$. The homology stability of surfaces in $K$ with an arbitrary…