Related papers: An alternative axiomization of $N$-pseudospaces

The notion of Poisson manifold with compatible pseudo-metric was introduced by the author in [1]. In this paper, we introduce a new class of Lie algebras which we call a pseudo-Rieamannian Lie algebras. The two notions are strongly related:…

We revisit the landmark paper [D. S. Mackey, N. Mackey, C. Mehl, and V. Mehrmann, SIAM J. Matrix Anal. Appl., 28 (2006), pp.~971--1004] and, by viewing matrices as coefficients for bivariate polynomials, we provide concise proofs for key…

In the past years several extensions of the canonical commutation relations have been proposed by different people in different contexts and some interesting physics and mathematics have been deduced. Here, we review some recent results on…

Let G be a unimodular Lie group, X a compact manifold with boundary, and M the total space of a principal bundle G--> M-->X so that M is also a strongly pseudoconvex complex manifold. In this work, we show that if there exists a point p in…

We obtain an equivalent implicit characterization of $L^p$ Banach spaces that is amenable to a logical treatment. Using that, we obtain an axiomatization for such spaces into a higher-order logical system, the kind of which is used in proof…

In this paper, we focus on some characterizations for curves in the Galilean and Pseudo-Galilean space.

This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional "names". We make three contributions. First, we study its model theory, providing adequate notions…

Covariant-contravariant simulation and conformance simulation generalize plain simulation and try to capture the fact that it is not always the case that "the larger the number of behaviors, the better". We have previously studied their…

The theory of associative $n$-categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant, this is potentially attractive, since it has the potential…

During the last decades algebraization of space turned out to be a promising tool at the interface between Mathematics and Theoretical Physics. Starting with works by Gel'fand-Kolmogoroff and Gel'fand-Naimark, this branch developed as from…

This note presents an extension of a result within the concept of [S]-lineability, originally developed in 2019 by L. Bernal-Gonz\'alez, J.A. Conejero, M. Murillo-Arcila, and J.B. Seoane-Sep\'ulveda . Additionally, we provide a…

Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al. (2015), allow for the composition…

The second quantization of M(atrix) theory in the free (Boltzmannian) Fock space is considered. It provides a possible framework to the recent Susskind proposal that U(N) supersymmetic Yang-Mills theories for all N might be embedded in a…

We found another N=1 odd superanalog of complex structure (the even one is widely used in the theory of super Riemann surfaces). New N=1 superconformal-like transformations are similar to anti-holomorphic ones of nonsupersymmetric complex…

This article is a survey of recent work of the author, together with Markus Banagl, Eric Leichtnam, Rafe Mazzeo, and Paolo Piazza, on the Hodge theory of stratified spaces. We discuss how to resolve a Thom-Mather stratified space to a…

This is the first in a series of two papers concerned with relative birational geometry of algebraic spaces. In this paper, we study Pr\"ufer spaces and Pr\"ufer pairs of algebraic spaces that generalize spectra of Pr\"ufer rings. As a…

The entropic doubling $\sigma_{\operatorname{ent}}[X]$ of a random variable $X$ taking values in an abelian group $G$ is a variant of the notion of the doubling constant $\sigma[A]$ of a finite subset $A$ of $G$, but it enjoys somewhat…

Two new classes of metrizable vector bundles have been presented in the papers [1] and [4]. The Lie algebroid generalized tangent bundle of a dual vector bundle is presented. This Lie algebroid is a new example of metrizable vector bundle.…

Twist tori are examples of exotic monotone lagrangian tori, presented in [1]. This tree of examples grew up over the first one --- the torus $\Theta \in \R^4$, constructured in [2] and [3]. On the other hand, in [4] and [5] we proposed a…

We give an explicit description of the set of all factorization structures, or twisting maps, existing between the algebras k^2 and k^2, and classify the resulting algebras up to isomorphism. In the process we relate several different…