Related papers: Differential Equation Invariance Axiomatization
The article treats the geometrical theory of partial differential equations in the absolute sense, i.e., without any additional structures and especially without any preferred choice of independent and dependent variables. The equations are…
We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof…
This paper presents four theorems that connect continuity postulates in mathematical economics to solvability axioms in mathematical psychology, and ranks them under alternative supplementary assumptions. Theorem 1 connects notions of…
The following offers a new axiomatic basis of mechanics and physics in their most important dynamics domain, i. e. an axiom (principle) of completeness intended to generalize Newton's second law of motion for the case of a non-stationary…
Axiomatizing mathematical structures is a goal of Mathematical Logic. Axiomatizability of the theories of some structures have turned out to be quite difficult and challenging, and some remain open. However axiomatization of some…
This paper is a critical study of non-standard Maxwellian electrodynamics. It explores two important topics: the inclusion of both magnetic and electric charge to produce what it calls Extended Electrodynamics, and the existence of a…
According to a theorem of Poincare, the solutions to differential equations are analytic functions of (and therefore have Taylor expansions in) the initial conditions and various parameters providing the right sides of the differential…
Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that typically arise from applying decision rules…
The paper deals with an integrodifferential operator which models numerous phenomena in superconductivity, in biology and in viscoelasticity. Initialboundary value problems with Neumann, Dirichlet and mixed boundary conditions are analyzed.…
Consideration of the Noether variational problem for any theory whose action is invariant under global and/or local gauge transformations leads to three distinct theorems. These include the familiar Noether theorem, but also two equally…
Full set of autonomous completely solvable differential systems of equations in total differentials is built by basis of infinitesimal operators, universal invariant, and structure constants of admited multiparametric Lie group (abelian and…
This article establishes a complete approximate axiomatization for the real-closed field $\mathbb{R}$ expanded with all differentially-defined functions, including special functions such as $\sin(x), \cos(x), e^x, \dots$. Every true…
We show that if any four distinct solutions of a rational difference equation are algebraically independent, then any number of distinct solutions to the equation are independent. A nontrivial variant of this result is given for autonomous…
This work advances and substantiates the thesis that the resolution of this crisis lies in the domain of possibility theory, specifically in the axiomatic approach developed in Bychkovs article. Unlike numerous attempts to fix Dempster…
We design new tools to study variants of Total Dual Integrality. As an application, we obtain a geometric characterization of Total Dual Integrality for the case where the associated polyhedron is non-degenerate. We also give sufficient…
A multidimensional chaos is generated by a special initial value problem for the non-autonomous impulsive differential equation. The existence of a chaotic attractor is shown, where density of periodic solutions, sensitivity of solutions…
The symmetry study of main differential equations of mechanics and electrodynamics has shown, that differential equations, which are invariant under transformations of groups, which are symmetry groups of mathematical numbers (considered…
Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic…
We prove Noether-type theorems for fractional isoperimetric variational problems with Riemann-Liouville derivatives. Both Lagrangian and Hamiltonian formulations are obtained. Illustrative examples, in the fractional context of the calculus…
In this article, we introduce the notion of stochastic symmetry of a differential equation. It consists in a stochastic flow that acts over a solution of a differential equation and produces another solution of the same equation. In the…