Related papers: A note on Hjorth's oscillation theorem

Hawking's stable causality implies Sorkin and Woolgar's K-causality. The work investigates the possible equivalence between the two causality requirements, an issue which was first considered by H. Seifert and then raised again by R. Low…

The Fluctuation Theorems are a group of exact relations that remain valid irrespective of how far the system has been driven away from equilibrium. Other than having practical applications, like determination of equilibrium free energy…

This is an introduction to the theory of disconjugacy for a second order linear differential equation. We give new proofs of some of basic results and obtain new sufficient conditions for disconjugacy (in particular, on the whole real…

This is a translation from Latin of 'De novo oscillationum genere', which was motivated by Krafft's accidental observation of a suspended clock setting itself in constant motion as a pendulum. This publication, in turn, motivated Euler to…

We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic.

Transitive closure logic is a known extension of first-order logic obtained by introducing a transitive closure operator. While other extensions of first-order logic with inductive definitions are a priori parametrized by a set of inductive…

We show that H\"older continuity of the gradient is not only a sufficient condition, but also a necessary condition for the existence of a global upper bound on the error of the first-order Taylor approximation. We also relate this global…

We give a short and relatively elementary proof of the Hilton-Milner Theorem.

We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and…

We study tree-to-tree transformations that can be defined in first-order logic or monadic second-order logic. We prove a decomposition theorem, which shows that every transformation can be obtained from prime transformations, such as…

We investigate the Friedman--Goldfarb--Harrington theorem from two perspectives. Firstly, in the frameworks of classical and modal propositional logics, we study the forms of sentences whose existence is guaranteed by the FGH theorem.…

There is a close connection between stability and oscillation of delay differential equations. For the first-order equation $$ x^{\prime}(t)+c(t)x(\tau(t))=0,~~t\geq 0, $$ where $c$ is locally integrable of any sign, $\tau(t)\leq t$ is…

We verify the conjecture of [10] and use it to prove that the semisimple parts of the rational Jordan-Kac-Vinberg decompositions of a rational vector all lie in a single rational orbit.

In this paper we propose some continuation theorems for the periodic problem \begin{equation*} \begin{cases} \, x_{i}' = g_{i}(t,x_{i+1}), &i=1,\ldots,n-1, \\ \, x_{n}' = h(t,x_{1},\ldots,x_{n}), \\ \, x_{i}(0)=x_{i}(T), &i=1,\ldots,n,…

We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the argument formula is true in a certain portion of all…

We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…

We have fundamentally corrected the proofs of the theorems from our paper [9] by giving an entirely different approach, using quite a simple method based on applications of some elementary inequalities, well-known H\"older's inequality, and…

We prove a Hochschild-Kostant-Rosenberg theorem ("the HKR theorem") which computes the factorization homology of certain smooth commutative ring spectra. In doing so we fix and generalize a THH computation which was first conceived as the…

We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig's interpolation property. As a…

This is the logical foundation for for Relativity Theory, Probability Theory, and for Quantum Theory. Contents is the following: 1 Introduction. 2 Classical logic. 3 Time and space. 3.1 Recorders. 3.2 Time. 3.3 Space. 3.4 Relativity. 4.…