Related papers: Sobczyk's simplicial calculus does not have a prop…
A contraction-free and cut-free sequent calculus $\msf{G3SDM}$ for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus $\msf{G3DM}$ for De Morgan algebras are developed. The cut rule is admissible in…
In their seminal paper Artemov and Protopopescu provide Hilbert formal systems, Brower-Heyting-Kolmogorov and Kripke semantics for the logics of intuitionistic belief and knowledge. Subsequently Krupski has proved that the logic of…
Let $\mathrm{R}$ be a real closed field and $\mathrm{C}$ the algebraic closure of $\mathrm{R}$. We give an algorithm for computing a semi-algebraic basis for the first homology group, $\mathrm{H}_1(S,\mathbb{F})$, with coefficients in a…
We prove analogues of several well-known results concerning rational morphisms between quadrics for the class of so-called quasilinear $p$-hypersurfaces. These hypersurfaces are nowhere smooth over the base field, so many of the geometric…
The scalar fields of supersymmetric models are coordinates of a geometric space. We propose a formulation of supersymmetry that is covariant with respect to reparametrizations of this target space. Employing chiral multiplets as an example,…
In this work, we study the pseudo-Riemannian submanifolds of a pseudo-sphere with 1-type pseudo-spherical Gauss map. First, we classify the Lorentzian surfaces in a 4-dimensional pseudo-sphere $\mathbb{S}^4_s(1)$ with index s, $s=1, 2$, and…
Smooth hypoellipticity for scalar equations is quite well understood presently. On the other hand, much remains to be done for systems and/or at different levels of regularity and in particular for $L^1$-hypoellipticity. In this article we…
We give a reformulation of Salem's conjecture about the absence of Salem numbers near one in terms of a uniform spectral gap for certain arithmetic hyperbolic surfaces.
In this paper I develop categorical foundations needed for a rigorous approach to the definition of conformal field theory outlined by Graeme Segal. I discuss pseudo algebras over theories and 2-theories, their pseudo morphisms, bilimits,…
We compute the modification of the $w_{1+\infty}$ algebra of soft graviton, gluon and scalar currents in the celestial CFT due to non-minimal couplings. We find that the Jacobi identity is satisfied only when the spectrum and couplings of…
This paper is concerned with the numerical approximation of the Dirichlet initial-boundary-value problem of nonlinear pseudo-parabolic equations with spectral methods. Error estimates for the semidiscrete Galerkin and collocation schemes…
We refine Osserman's argument on the exceptional values of the Gauss map of algebraic minimal surfaces. This gives an effective estimate for the number of exceptional values and the totally ramified value number for a wider class of…
The work of Reid, Chinburg--Hamilton--Long--Reid, Prasad--Rapinchuk, and the author with Reid have demonstrated that geodesics or totally geodesic submanifolds can sometimes be used to determine the commensurability class of an arithmetic…
In this article we compute a minimal Groebner basis for the symmetric algebra for certain affine Monomial Curves, as an R-module. Keywords: Monomial Curves, Groebner Basis, Symmetric Algebra. Mathematics Subject Classification 2000: 13P10,…
A lifting of a semilattice S is an algebra A such that the semilattice of compact (=finitely generated) congruences of A is isomorphic to S. The aim of this work is to give a categorical theory of partial algebras endowed with a partial…
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with…
Fundamental errors exist in the above-mentioned article, which attempts to justify previous erroneous claims concerning signature change. In the simplest example, the authors' proposed ``solutions'' do not satisfy the relevant equation, as…
In this paper we present a proof of Hartogs' extension theorem, following T. Sobieszek's paper from 2003. Hartogs' theorem provides a large class of domains where holomorphic functions have analytic continuation to larger domains, and is "a…
The paper deals with the program of determining the complexity of various homeomorphism relations. The homeomorphism relation on compact Polish spaces is known to be reducible to an orbit equivalence relation of a continuous Polish group…
Effective field theories, like the Standard Model Effective Field Theory (SMEFT), are defined by a chosen field content and a set of symmetries, up to a cut off scale $\Lambda$. Usually, in order to perform calculations, gauge independent…