Related papers: Faithful Semitoric Systems
In this book super interval matrices using the special type of intervals of the form [0, a] are introduced. Several algebraic structures like semigroups, groups, semirings, rings, semivector spaces and vector spaces are introduced. Special…
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…
We construct a formal theory, which we call reflectica, whose language possesses the following properties of natural language: it is a self-reflecting language and an intensional language. By a self-reflecting language we understand an…
We construct certain integral structures for the cores of reduced tame extended affine Lie algebras of rank at least 2. One of the main tools to achieve this is a generalization of Chevalley automorphisms in the context of extended affine…
This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-elimination, and identity expansion. Although undecidable in general, these…
The notions of faithfully projective, faithfully flat, and faithfully injective modules--defined as modules for which the three classical homological functors are both faithful and exact--play fundamental roles across various areas of…
In this paper we apply symplectic algorithms to nearly integrable Hamiltonian system, and prove it can maintain lots of elliptic lower dimensional invariant tori. We are committed to consider the elliptic lower dimensional invariant tori…
The aim of this work is focused on the investigation of the algebraic complete integrability of the Toda lattice associated with the twisted affine Lie algebra $a_4^{(2)}$. First, we prove that the generic fiber of the momentum map for this…
Belief systems are often treated as globally consistent sets of propositions or as scalar-valued probability distributions. Such representations tend to obscure the internal structure of belief, conflate external credibility with internal…
We construct integrable and superintegrable Hamiltonian systems using the realizations of four dimensional real Lie algebras as a symmetry of the system with the phase space R4 and R6. Furthermore, we construct some integrable and…
Starting from suitable tableaux over finite dimensional Lie algebras, we provide a scheme for producing involutive linear Pfaffian systems related to various classes of submanifolds in homogeneous spaces which constitute integrable systems.…
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.
In this paper we construct nonlinear partial differential equations in more than 3 independent variables, possessing a manifold of analytic solutions with high, but not full, dimensionality. For this reason we call them ``partially…
We show that any semi-algebraic sweeping process admits piecewise absolutely continuous solutions, and any such bounded trajectory must have finite length. Analogous results hold more generally for sweeping processes definable in o-minimal…
In this paper we will develop an axiomatic foundation for the geometric study of straight edge, protractor, and compass constructions, which while being related to previous foundations, will be the first to have all axioms written and all…
Given that theoretical analysis and empirical validation is fundamental to any model, whether conceptual or formal, it is surprising that these two tools of scientific discovery are so often ignored in the contemporary studies of…
We discuss a universal algebraic approach to quasi-exactly solvable models which allows us to interpret them as constrained Hamiltonian systems with a finite number of physical states. Using this approach we reproduce well-known…
We introduce a framework for ordinal notation systems, present a family of strong yet simple systems, and give many examples of ordinals in these systems. While much of the material is conjectural, we include systems with conjectured…
In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models…
S. I. Agafonov and E. V. Ferapontov have introduced a construction that allows naturally associating to a system of partial differential equations of conservation laws a congruence of lines in an appropriate projective space. In particular…