相关论文: Thorn-Forking in Continuous Logic

The aim of this paper is to summarise the basic arguments and the intuition bolstering the RFOT picture for glasses, based on a finite dimensional extension of mean-field models with an exponentially large number of metastable states. We…

We develop the Perron-Frobenius theory using a variational approach and extend it to a set of arbitrary matrices, including those that are neither irreducible nor essentially positive, and non-preserved cones. We introduce a new concept…

Cosmological implication of rolling tachyons is reported in the context of effective field theory. With a brief review of rolling tachyons in both flat and curved spacetimes, we study the string cosmological model with both tachyon and…

Dynamical Systems theory generally deals with fixed point iterations of continuous functions. Computation by Turing machine although is a fixed point iteration but is not continuous. This specific category of fixed point iterations can only…

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 study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical…

We consider the inhomogeneous decay of an unstable D-brane of bosonic string theory in a linear dilaton background in a light-cone frame. At the lowest level, the dynamical equation that describes this process is a generalisation (that…

For an $\omega$-categorical theory $T$ and model $\mathcal{M}$ of $T$ we define a hierarchy of ranks, the $n$-ranks for $n < \omega$ which only care about imaginary elements ``up to level $n$'', where level $n$ contains every element of $M$…

We consider a class of dynamical systems, which we call weakly coarse expanding, which is a generalization to the postcritically infinite case of expanding Thurston maps as discussed by Bonk-Meyer and is closely related to coarse expanding…

We provide new logarithmic lower bounds for the torsion order of a very general complete intersection in projective space as well as a very general hypersurface in products of projective spaces and Grassmannians, in particular we prove…

This paper reviews the essential physics of gravitational instability in a Robertson-Walker background spacetime. Three approaches are presented in a pedagogical manner, based on (1) the Eulerian fluid equations, (2) the Lagrangian…

The lower-order cr-invariant variational problem for Legendrian curves in the 3-sphere is studied and its Euler-Lagrange equations are deduced. Closed critical curves are investigated. Closed critical curves with non-constant cr-curvature…

This is the announcement, and the long summary, of a series of articles on the algorithmic study of Thurston maps. We describe branched coverings of the sphere in terms of group-theoretical objects called bisets, and develop a theory of…

We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each $ \alpha\in\omega+1\backslash\{0\} $ we introduce a strictly superstable theory of U-rank $…

We prove the Lipman-Zariski conjecture for complex surface singularities of genus one, and also for those of genus two whose link is not a rational homology sphere. As an application, we characterize complex $2$-tori as the only normal…

In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics can be interesting for formal verification purposes.…

We develop techniques that lay out a basis for generalizations of the famous Thurston's Topological Characterization of Rational Functions for an infinite set of marked points and branched coverings of infinite degree. Analogously to the…

From the mesoscopic point of view, a new concept of soft matching for mass points is proposed. Then a soft Lasso's approach to learn the soft dynamical equation for the physical mechanical relationship is proposed, too. Furthermore, a…

The aim of my thesis is to discuss, develop and apply the newest developments of this fascinating theory connected to modern harmonic analysis. In particular, we investigate some strong convergence result of partial sums of Vilenkin-Fourier…

We present a toy model where spacetime is emergent from a more fundamental microscopic system, and investigate the gray area interpolating between the collective and free-particle regimes. For a period of rapid exponential growth in the…