Related papers: The Cantor's First Diagonal Formalized and Extende…
We specify the frontier of decidability for fragments of the first-order theory of ordinal multiplication. We give a NEXPTIME lower bound for the complexity of the existential fragment of $\langle \omega^{\omega^\lambda}; \times, \omega,…
For a small quantaloid $\mathcal{Q}$, it is shown that the category of $\mathcal{Q}$-distributors and diagonals is equivalent to a quotient category of the category of $\mathcal{Q}$-interior spaces and continuous $\mathcal{Q}$-distributors.…
In this note, given a regular Courant algebroid, we compute its group of automorphisms relative to a dissection. We also propose an infinitesimal version and recover examples of the literature.
It is shown that rational extensions of the isotropic Dunkl oscillator in the plane can be obtained by adding some terms either to the radial equation or to the angular one obtained in the polar coordinates approach. In the former case, the…
In this review article the construction of first order coordinate differential calculi on finitely generated and finitely related associative algebras are considered and explicit construction of the bimodule of one form over such algebras…
We consider the class of compact countable subsets of the real numbers $\mathbb{R}$. By using an appropriate partition, up to homeomorphism, of this class we give a detailed proof of a result shown by S. Mazurkiewicz and W. Sierpinski…
We consider the intersections of fractal k-cubes of order n and intersections of their respective opposite l-faces. The main result of the paper is the theorem on representation of such intersection as the attractor of a graph-directed…
This paper deals with two main topics related to Diophantine approximation. Firstly, we show that if a point on an algebraic variety is approximable by rational vectors to a sufficiently large degree, the approximating vectors must lie in…
We prove a continued fraction expansion for a certain $q$-tangent function that was conjectured by the present writer, then proved by Fulmek, now in a completely elementary way.
We prove that if $B\subseteq A$ is an extension of finite dimensional algebras such that the projective dimension of $A/B$ as a $B$-bimodule is finite, if $A$ has finite finitistic dimension, then so does $B$. We exhibit examples…
The explicit constructions of minimal isometric, and minimal unitary dilations of an arbitrary linear pencil of operators $T(\lambda)=T_0+\lambda T_1$ consisting of contractions on a separable Hilbert space for $|\lambda |=1$, which…
For finite-dimensional algebras over a field, Koenig and Yang established a bijection between silting complexes and simple-minded collections in the bounded derived category, with further contributions by many authors in various settings.…
A straightforward argument shows that, by allowing counterfactual elements of physical reality, any arbitrary discrete finite-dimensional operator corresponds to an observable.
A version of the Dirac equation is derived from first principles using a combination of quaternions and multivariate 4-vectors. The nilpotent form of the operators used allows us to derive explicit expressions for the wavefunctions of free…
We characterize all semigroups sandwiched between the semigroup of a Dirichlet form and the semigroup of its active main part. In case the Dirichlet form is regular, we give a more explicit description of the quadratic forms of the…
This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier $I$. $I$ forms a formula from two…
The main focus of the present work is to study the Feynman's proof of the Maxwell equations using the NC geometry framework. To accomplish this task, we consider two kinds of noncommutativity formulations going along the same lines as…
It is shown how Andrews' multidimensional extension of Watson's transformation between a very-well-poised $_8\phi_7$-series and a balanced $_4\phi_3$-series can be used to give a straightforward proof of a conjecture of Zudilin and the…
We construct the generalized version of covariant Z_3-graded differential calculus introduced by one of us (R.K.), and then extended to the case of arbitrary Z_N grading. Here our main purpose is to establish the recurrence formulae for the…
We establish a general bijective framework for encoding faces of some classical hyperplane arrangements. Precisely, we consider hyperplane arrangements in $\mathbb{R}^n$ whose hyperplanes are all of the form $\{x_i-x_j=s\}$ for some…