Related papers: A note on Hjorth's oscillation theorem
A cyclic proof system is a proof system whose proof figure is a tree with cycles. The cut-elimination in a proof system is fundamental. It is conjectured that the cut-elimination in the cyclic proof system for first-order logic with…
The derivation of Lorentz-covariant generalizations of Ohm's law has been a long-term issue in theoretical physics with deep implications for the study of relativistic effects in optical and atomic physics. In this article, we propose an…
We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends…
It is demonstrated that the "generalized fluctuation-dissipation theorem" [Physica A 106, 443 (1981)] covers the later suggested "fluctuation theorems" and related statistical equalities.
We examine the relationships between axiomatic and cyclic proof systems for the partial and total versions of Hoare logic and those of its dual, known as reverse Hoare logic (or sometimes incorrectness logic). In the axiomatic proof systems…
We correct the second main theorem of the previous paper "A perturbation of the Dunkl harmonic oscillator on the line", by the first two authors. The corrections concern mainly certain estimates, which were also improved by adding more…
This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html). The logical vocabulary of the system consists of…
In this note we give a simplified ordinal analysis of first-order reflection. An ordinal notation system $OT$ is introduced based on $\psi$-functions. Provable $\Sigma_{1}$-sentences on $L_{\omega_{1}^{CK}}$ are bounded through…
Oscillation theory locates the spectrum of a differential equation by counting the zeros of its solutions. We present a version of this theory for canonical systems $Ju'=-zHu$ and then use it to discuss semibounded operators from this point…
We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The proposed framework is the first order extension of the logic of…
We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by G\"odel,…
In this paper, we study both the oscillation and the stability of impulsive differential equations when not only the continuous argument but also the impulse condition involves delay. The results obtained in the present paper improve and…
We introduce the $\omega$-Vaught's conjecture, a strengthening of the infinitary Vaught's conjecture. We believe that if one were to prove the infinitary Vaught's conjecture in a structural way without using techniques from higher recursion…
This paper develops a {\em qualitative} and logic-based notion of similarity from the ground up using only elementary concepts of first-order logic centered around the fundamental model-theoretic notion of type.
In physics, all dynamical equations that describe fundamental interactions are second order ordinary differential equations in the time derivatives. In the literature, this property is traced back to a result obtained by Ostrogradski in the…
We prove the theorem converse to Jackson's theorem for a modulus of smoothness of the first order generalised by means of an asymmetric operator of generalised translation.
By factorization of the Hamiltonian describing the quantum mechanics of the continuous q-Hermite polynomial, the creation and annihilation operators of the q-oscillator are obtained. They satisfy a q-oscillator algebra as a consequence of…
Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree…
A consistent guiding-center Hamiltonian theory is derived by Lie-transform perturbation method, with terms up to second order in magnetic-field nonuniformity. Consistency is demonstrated by showing that the guiding-center transformation…
By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.