Related papers: Sobczyk's simplicial calculus does not have a prop…
Wojciech Kami\'nski has provided a non real-analytic counterexample to our claim in [1] that conformal geodesics cannot spiral. This erratum illustrates how the proof of Lemma 4.6 [1] (on which our claim was based) fails.
In this paper we investigate the question: 'How can A Foundational Classical Singlesuccedent Sequent Calculus be formulated?' The choice of this particular area of proof-theoretic study is based on a particular ground that is, to formulate…
In this expository article, we give a self-contained introduction to the wonderfully well-behaved class of pseudocompact algebras, focusing on the foundational classes of semisimple and separable algebras. We give characterizations of such…
Spherical radial basis functions are used to define approximate solutions to strongly elliptic pseudodifferential equations on the unit sphere. These equations arise from geodesy. The approximate solutions are found by the Galerkin and…
The concepts of spin and pseudospin symmetries has been used as mere rhetorics to decorate the pseudoscalar potential [Chin. Phys. B 22 090301 (2013)]. It is also pointed out that a more complete analysis of the bound states of fermions in…
In the bibliography a certain confusion arises in what regards to the classification of the gravitational theories into scalar-tensor theories and general relativity with a scalar field either minimally or non-minimally coupled to matter.…
The aim of this work is to develop a global calculus for pseudo-differential operators acting on suitable algebras of generalized functions. In particular, a condition of global hypoellipticity of the symbols gives a result of regularity…
We give a complete classification of Riemannian and Lorentzian surfaces of arbitrary codimension in a pseudo-sphere whose pseudo-spherical Gauss maps are of 1-type or, in particular, harmonic. In some cases a concrete global classification…
The main results of this paper establish a partial correspondence between two previously-studied analogues of Groebner bases in the setting of algebras: namely, subalgebra (aka SAGBI) bases for quotients of polynomial rings and Khovanskii…
We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we call symmetric Schubert problems. This…
In this paper we develop a geometric approach to convex subdifferential calculus in finite dimensions with employing some ideas of modern variational analysis. This approach allows us to obtain natural and rather easy proofs of basic…
For any factorization domain $\cal A$ and an algebra endomorphism $\sigma$ of $\cal A$, there exists a non-associative algebra $({\cal A},\sigma,[\cdot,\cdot])$ with multiplication satisfying skew-symmetry and generalized (twisted) Jacobi…
We will examine the issue of diffeomorphism symmetry in simplicial models of (quantum) gravity, in particular for Regge calculus. We find that for a solution with curvature there do not exist exact gauge symmetries on the discrete level.…
This article provides a pedagogically oriented introduction to geometric (Clifford) calculus on pseudo-Riemannian manifolds. Unlike usual approaches to the topic, which rely on embedding the geometric algebra either within a tensor algebra…
We study a modification of the Plebanski action, which generically corresponds to a bi-metric theory of gravity, and identify a subclass which is equivalent to the Bergmann-Wagoner-Nordtvedt class of scalar-tensor theories. In this manner,…
In this paper we study some fragments without implications of the (Hilbert) full Lambek logic $\mathbf{HFL}$ and also some fragments without implications of some of the substructural extensions of that logic. To do this, we perform an…
In this paper we connect classical differential geometry with the concepts from geometric calculus. Moreover, we introduce and analyze a more general Laplacian for multivector-valued functions on manifolds. This allows us to formulate a…
A topological description of various generalized function algebras over corresponding basic locally convex algebras is given. The framework consists of algebras of sequences with appropriate ultra(pseudo)metrics defined by sequences of…
We prove that proper pseudo-holomorphic maps between strictly pseudoconvex regions in almost complex manifolds extend to the boundary. The key point is that the Jacobian is far from zero near the boundary, and the proof is mainly based on…
In loop quantum gravity, matter fields can have support only on the `polymer-like' excitations of quantum geometry, and their algebras of observables and Hilbert spaces of states can not refer to a classical, background geometry. Therefore,…