Related papers: Regular entailment relations
The research shows that the Heisenberg principle is the logic results of general relativity principle. If inertia coordinator system is used, the general relativity will logically be derived from the Heisenberg principle. The intrinsic…
These lecture notes evolve around mathematical concepts arising in inverse problems. We start by introducing inverse problems through examples such as differentiation, deconvolution, computed tomography and phase retrieval. This then leads…
We give recurrence relations for any family of generalized Appell polynomials unifying so some known recurrences of many classical sequences of polynomials. Our main tool to get our goal is the Riordan group. We use the product of Riordan…
The quantum mechanics formalism introduced new revolutionary concepts challenging our everyday perceptions. Arguably, quantum entanglement, which explains correlations that cannot be reproduced classically, is the most notable of them.…
We study the existence of a natural `linearisation' process for generalised connections on an affine bundle. It is shown that this leads to an affine generalised connection over a prolonged bundle, which is the analogue of what is called a…
I review, some of the algebraic and geometric structures that underlie the theory of Special Relativity. This includes a discussion of relativity as a symmetry principle, derivations of the Lorentz group, its composition law, its Lie…
This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative…
We discuss the possibility of making the {\it initial} definitions of mutually different (possibly interacting, or even entangled) systems in the context of decoherence theory. We point out relativity of the concept of elementary physical…
In this work we define and study the relations between Lorentzian Manifolds given by the diffeomorphisms which map causal future directed vectors onto causal future directed vectors. This class of diffeomorphisms, called proper causal…
This work introduces topological regularization as a framework for handling ultraviolet divergences in quantum field theory, reinterpreting infinities as topological obstructions at spacetime boundaries. Through geometric compactification…
We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra.…
In this note, we study substructures of generalised power series fields induced by families of well-ordered subsets of the group of exponents. We characterise the set-theoretic and algebraic properties of the induced substructures in terms…
Extending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered group, on the one hand, and spectral spaces of free lattice-ordered groups, on the…
We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies…
This report is mostly written for educational purposes. It is meant as a self contained introduction to regular languages, regular expressions, and regular expression matching by using Brzozowski derivatives. As such it is mostly based on…
We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented…
.This article reexamines the genesis of special relativity by situating the contributions of Lorentz, Poincare, and Einstein within the scientific, documentary, and editorial context of the years 1895--1913. It emphasizes the rapid…
We generalize the classical Bernstein theorem concerning the constructive description of classes of functions uniformly continuous on the real line. The approximation of continuous bounded functions by entire functions of exponential type…
We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion}, according to which in order for some premises to have some…
The main goal of this paper is to introduce and to investigate properties of generalized Riordan arrays and generalized Riordan groups that involve formal semi-Laurent series. In particular, we focus on the problem of isomorphy of…