Related papers: Relational Hypersequent S4 and B are Cut-Free Hype…

We derive relations for a certain class of terminating ${}_4F_3(4)$ hypergeometric series with three free parameters. The invariance group composed of these relations is shown to be isomorphic to the symmetric group $S_3$. We further study…

In the present paper we show that there exist infinitely many consecutive square-free numbers of the form $[\alpha n]$, $[\alpha n]+1$, where $\alpha>1$ is irrational number with bounded partial quotient or irrational algebraic number.

In this thesis we generalise the six-term exact sequence in graded $KK$-theory obtained in a paper of Kumjian, Pask and Sims (2017) to allow correspondences with non-compact left action. In particular, this allows us to compute the graded…

We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant without constants and a restriction which disallows empty antecedents, Andreka and…

The First and Second Representation Theorem for sign-indefinite quadratic forms are extended. We include new cases of unbounded forms associated with operators that do not necessarily have a spectral gap around zero. The kernel of the…

There exists a particular subset of algebraic power series over a finite field which, for different reasons, can be compared to the subset of quadratic real numbers. The continued fraction expansion for these elements, called…

We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely,…

We show that four-dimensional superconformal algebras admit an infinite-dimensional derived enhancement after performing a holomorphic twist. The type of higher symmetry algebras we find are closely related to algebras studied by…

A repetition free Longest Common Subsequence (LCS) of two sequences x and y is an LCS of x and y where each symbol may appear at most once. Let R denote the length of a repetition free LCS of two sequences of n symbols each one chosen…

An infinite integral over four spherical Bessel functions is analytically evaluated for the special case when the arguments k_3=k_1 and k_4=k_2

We consider Lie superalgebras under constraints of Hamiltonian reduction, yielding finite $W$-superalgebras which provide candidates for quadratic spacetime superalgebras. These have an undeformed bosonic symmetry algebra (even generators)…

We show that, consistently, there exists a Borel set B subset Cantor admitting a sequence (eta_alpha:alpha<lambda) of distinct elements of Cantor such that (eta_alpha+B) cap (eta_beta+B) is uncountable for all alpha,beta<lambda but with no…

We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a…

All quartic couplings of scalar fields $s^I$ that are dual to extended chiral primary operators in ${\cal N}=4$ SYM$_4$ are derived by using the covariant equations of motion for type IIB supergravity on $AdS_5\times S^5$. It is shown that…

We prove that the relative K-groups associated with a nilpotent extension of Z/p^N Z-algebras and the bi-relative K-groups associated with a Milnor square of Z/p^N Z-algebras are p-primary torsion groups of bounded exponent. We also show…

Let G be an exceptional algebraic group defined over an algebraically closed field k of characteristic p>0 and let H be a subgroup of G. Then following Serre we say H is G-completely reducible or G-cr if, whenever H is contained in a…

Let $S \subset \P^n$ be a smooth quartic hypersurface defined over a number field $K$. If $n \ge 4$, then for some finite extension $K'$ of $K$ the set $S(K')$ of $K'$-rational points of $S$ is Zariski dense.

It has recently been shown that the $W_3$ and $W_3^{(2)}$ algebras can be considered as subalgebras in some linear conformal algebras. In this paper we show that the nonlinear algebras $W_{2,4}$ and $WB_2$ as well as Zamolodchikov's spin…

Martinez-Rivillas and de Queiroz gave extensional Kan semantics for the untyped lambda-calculus and later constructed the concrete K-infinity homotopy-model. The two main mathematical results of the present paper are these. First, we show…

Every $K_4$-free graph on $n$ vertices has a set of $\lfloor n/2\rfloor$ vertices spanning at most $n^2/18$ edges.