In this paper, we show that an $L_1$-2-type surface in the three-dimensional hyperbolic space $H^3subset R^4_1$ either is an open piece of a standard Riemannian product $ H^1(-sqrt{1+r^2})times S^{1}(r)$, or it has non constant mean curvature, non constant Gaussian curvature, and non constant principal curvatures.

The abelian Higgs model on the noncommutative plane admits both BPS vortices and non-BPS fluxons. After reviewing the properties of these solitons, we discuss several new aspects of the former. We solve the Bogomoln’yi equations perturbatively, to all orders in the inverse noncommutivity parameter, and show that the metric on the moduli space of k vortices reduces to the computation of the trac...

Computer-Assisted and Web-Based Innovations in Psychology, Special Education, and Health edited by James K. Luiselli & Aaron J. Fischer. London & San Diego: Academic Press, 2016. 408pp., $74.95 (hardcover), ISBN 9780128020753

: This paper provides a sound and complete axiomatisation for constant domain modal logics without Boolean negation. This is a simpler case of the difficult problem of providing a sound and complete axiomatisation for constant-domain quantified relevant logics, which can be seen as a kind of modal logic with a twoplace modal operator, the relevant conditional. The completeness proof is ...

In the first part of this paper we present a formalization in Agda of the James construction in homotopy type theory. We include several fragments of code to show what the Agda code looks like, and we explain several techniques that we used in the formalization. In the second part, we use the James construction to give a constructive proof that π4(S ) is of the form Z/nZ (but we do not compute ...

By exploiting optimal transport theory on Riemannian manifolds and adapting Gromov’s proof of the isoperimetric inequality in the Euclidean space, we prove an isoperimetric-type inequality on simply connected constant curvature manifolds.