Related papers: Refining the arithmetical hierarchy of classical p…
We introduce Craig interpolation and related notions such as uniform interpolation, Beth definability, and theory decomposition in classical propositional logic. We present four approaches to computing interpolants: via quantifier…
In this paper, we investigate the connection between Classical and Quantum Mechanics by dividing Quantum Theory in two parts: - General Quantum Axiomatics (a system is described by a state in a Hilbert space, observables are self-adjoint…
Heisenberg's uncertainty principle is often cited as an example of a "purely quantum" relation with no analogue in the classical limit where $\hbar \to 0$. However, this formulation of the classical limit is problematic for many reasons,…
I consider differential of mapping $f$ of continuous division ring as linear mapping the most close to mapping $f$. Different expressions which correspond to known deffinition of derivative are supplementary. I explore the Gateaux…
Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…
In planar maximally supersymmetric Yang-Mills, we can compute three-point functions at weak coupling using the so-called hexagonalization formalism. The main objects in this framework are called hexagons. We are interested in two sectors of…
This paper rediscovers a classical homogenization result for a prototypical linear elliptic boundary value problem with periodically oscillating diffusion coefficient. Unlike classical analytical approaches such as asymptotic analysis,…
The separation between two theorems in reverse mathematics is usually done by constructing a Turing ideal satisfying a theorem P and avoiding the solutions to a fixed instance of a theorem Q. Lerman, Solomon and Towsner introduced a forcing…
In the theory of conditional sets, many classical theorems from areas such as functional analysis, probability theory or measure theory are lifted to a conditional framework, often to be applied in areas such as mathematical economics or…
Despite its apparent simplicity, Newtonian Mechanics contains conceptual subtleties that may cause some confusion to the deep-thinking student. These subtleties concern fundamental issues such as, e.g., the number of independent laws needed…
We prove Macdonald-type deformations of a number of well-known classical branching rules by employing identities for elliptic hypergeometric integrals and series. We also propose some conjectural branching rules and allied conjectures…
We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…
A simple mathematical procedure is introduced which allows redefining in an exact way divergent integrals and limits that appear in the basic equations of classical electrodynamics with point charges. In this way all divergences are at once…
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection…
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…
The classical Pythagoras theorem, binomial theorem, de Moivre's formula, and numerous other deductions are made using the uniqueness theorem for the initial value problems in linear ordinary differential equations.
As it is well known, classical mechanics consists of several basic features like determinism, reductionism, completeness of knowledge and mechanicism. In this article the basic assumptions are discussed which underlie those features. It is…
G\"odel's Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in conjunction with the double negation interpretation to obtain the consistency of Peano arithmetic. In recent…
We study arithmetic inequalities for multiplicative, sub(super)-multiplicative, sub(super)-homogeneous functions. Applications for the classical arithmetic functions are pointed out.
We review the close relationship between abstract machines for (call-by-name or call-by-value) lambda-calculi (extended with Felleisen's C) and sequent calculus, reintroducing on the way Curien-Herbelin's syntactic kit expressing the…