Related papers: Thorn-Forking in Continuous Logic
We present a toolbox for the continuation of two-dimensional tori in autonomous dynamical systems and non-autonomous systems with periodic forcing. A torus is solved as the solution to a boundary-value problem. Truncated Fourier series and…
We consider new cosmological solutions with a collapsing, an intermediate and an expanding phase. The boundary between the expanding (collapsing) phase and the intermediate phase is seen by comoving observers as a cosmological past (future)…
This paper deals with inference in a class of stable but nearly-unstable processes. Autoregressive processes are considered, in which the bridge between stability and instability is expressed by a time-varying companion matrix $A_{n}$ with…
The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…
Argumentation is a non-monotonic process. This reflects the fact that argumentation involves uncertain information, and so new information can cause a change in the conclusions drawn. However, the base logic does not need to be…
Some of the phenomenological implications of string cosmological models are reviewed, with particular attention to the spectra of the tensor, scalar and vector modes of the geometry. A class of self-dual string cosmological models is…
Using the theory of moduli of curves, we establish various slope inequalities for general fibered surfaces. More precisely, we introduce the notion of functorial divisors on Artin stacks and prove a theorem concerning their effectiveness.…
In the paper we prove, in particular, that for any measurable coloring of the euclidian plane into two colours there is a monochromatic triangle with some restrictions on the sides. Also we consider similar problems in finite fields…
Thermodynamics has a clear arrow of time, characterized by the irreversible approach to equilibrium. This stands in contrast to the laws of microscopic theories, which are invariant under time-reversal. Foundational discussions of this…
The root locus is an important tool for analysing the stability and time constants of linear finite-dimensional systems as a parameter, often the gain, is varied. However, many systems are modelled by partial differential equations or delay…
We investigate the gravitational lensing signatures of vorton configurations, considering the circular vorton, the Kibble-Turok vorton, and a newly proposed class that incorporates simultaneous excitations of the first, second, and third…
Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be…
Rational maps on the Riemann sphere occupy a distinguished niche in the general theory of smooth dynamical systems. First, rational maps are complex-analytic, so a broad spectrum of techniques can contribute to their study (quasiconformal…
Nonmonotonic reasoning is a pattern of reasoning that allows an agent to make and retract (tentative) conclusions from inconclusive evidence. This paper gives a possible-worlds interpretation of the nonmonotonic reasoning problem based on…
We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account axioms and cuts. We show that it is sound and enjoys the cut…
The relative entropy of the massive free bosonic field theory is studied on various compact Riemann surfaces as a universal quantity with physical significance, in particular, for gravitational phenomena. The exact expression for the sphere…
In this paper we study the boundedness of extension operators associated with spheres in vector spaces over finite fields.In even dimensions, we estimate the number of incidences between spheres and points in the translated set from a…
It is well-known that the reduced Floer homology of a rational homology sphere admitting a taut foliation does not vanish. We strengthen this by showing that (when thought of as an $\mathbb{F}[U]$-module) it also admits a direct…
We present a logic for reasoning with if-then formulas which involve constants for rational truth degrees from the unit interval. We introduce graded semantic and syntactic entailment of formulas. We prove the logic is complete in Pavelka…
By means of non-smooth critical point theory we obtain existence of infinitely many weak solutions of the fractional Schr\"odinger equation with logarithmic nonlinearity. We also investigate the H\"older regularity of the weak solutions.