相关论文: Thorn-Forking in Continuous Logic

We study sheaves in the context of a duality theory for lattice structure endowed with extra operations, and in the context of forcing in a topos. Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem…

Given a smooth projective variety $X$ with a simple normal crossing divisor $D:=D_1+D_2+...+D_n$, where $D_i\subset X$ are smooth, irreducible and nef. We prove a mirror theorem for multi-root stacks $X_{D,\vec r}$ by constructing an…

We investigate the linear instability of flows that are stable according to Rayleigh's criterion for rotating fluids. Using Taylor-Couette flow as a primary test case, we develop large Reynolds number matched asymptotic expansion theories.…

The application of pure torsion to a long and thin cylindrical rod is known to provoke a twisting instability, evolving from an initial kink to a knot. In the torsional parallel-plate rheometry of stubby cylinders, the geometrical…

There is evidence that string theory possesses a large discretuum of stable and/or metastable ground states, with zero or four supersymmetries in four dimensions. I discuss critically the nature of this evidence. Assuming this "landscape"…

There is uncertainty associated with the occurrence of many events in real life. In this paper we develop a temporal logic to deal with such uncertain events and outline a possible implementation in an extension of PROLOG. Events are…

We study the resonant prescribed T-curvature problem on a compact 4-dimensional Riemannian manifold with boundary. We derive sharp energy and gradient estimates of the associated Euler-Lagrange functional to characterize the critical points…

The process of doing Science in condition of uncertainty is illustrated with a toy experiment in which the inferential and the forecasting aspects are both present. The fundamental aspects of probabilistic reasoning, also relevant in real…

The classical Baldwin-Lachlan characterization of uncountably categorical theories is known to fail in continuous logic in that not every inseparably categorical theory has a strongly minimal set. Here we investigate these issues by…

A regularization procedure developed in [1] for the integral curvature invariants on manifolds with conical singularities is generalized to the case of squashed cones. In general, the squashed conical singularities do not have rotational…

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…

We provide a notion of algebraic rational cell with applications to intersection theory on singular varieties with torus action. Based on this notion, we study the algebraic analogue of $\mathbb{Q}$-filtrable varieties: algebraic varieties…

The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…

We formulate and consider the problem of an inextensible, unshearable, viscoelastic rod, with evolving natural configuration, moving on a plane. We prove that the dynamic equations describing quasistatic motion of an Eulerian strut, an…

We analyze stability of a thin inextensible elastic rod which has non-vanishing spontaneous generalized torsions in its stress-free state. Two classical problems are studied, both involving spontaneously twisted rods: a rectilinear beam…

We generalise various theorems for finding indiscernible trees and arrays to positive logic: based on an existing modelling theorem for s-trees, we prove modelling theorems for str-trees, str$_0$-trees (the reduct of str-trees that forgets…

Kronheimer and Mrowka asked whether the difference between the four-dimensional clasp number and the slice genus can be arbitrarily large. This question is answered affirmatively by studying a knot invariant derived from equivariant…

The addition of certain nonrenormalizable terms to the usual action density of a free scalar field leads to nonrenormalizable theories whose exact euclidian and minkowskian Green's functions are less singular than those of the free theory.…

Infinitary and cyclic proof systems are proof systems for logical formulas with fixed-point operators or inductive definitions. A cyclic proof system is a restriction of the corresponding infinitary proof system. Hence, these proof systems…

A new so-called `gravitational loss-cone instability' in stellar systems has recently been investigated theoretically in the framework of linear perturbation theory and proved to be potentially important in understanding the physical…