相关论文: Thorn-Forking in Continuous Logic

We consider recognizable trace rewriting systems with level-regular contexts (RTL). A trace language is level-regular if the set of Foata normal forms of its elements is regular. We prove that the rewriting graph of a RTL is word-automatic.…

We introduce the flower calculus, a deep inference proof system for intuitionistic first-order logic inspired by Peirce's existential graphs. It works as a rewriting system over inductive objects called ''flowers'', that enjoy both a…

We review recent developments in structural stability as applied to key topics in general relativity. For a nonlinear dynamical system arising from the Einstein equations by a symmetry reduction, bifurcation theory fully characterizes the…

Proving linearizability of concurrent data structures remains a key challenge for verification. We present temporal interpolation as a new proof principle to conduct such proofs using hindsight arguments within concurrent separation logic.…

We embed the space of totally real $r$-cycles of a totally real projective variety into the space of complex $r$-cycles by complexification. We provide a proof of the holomorphic taffy argument in the proof of Lawson suspension theorem by…

We formulate a conjecture on the number of integral points of bounded height on log Fano varieties in analogy with Manin's conjecture on the number of rational points of bounded height on Fano varieties. We also give a prediction for the…

We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…

The Tarskian classical relevant logic TR arises from Tarski's work on the foundations of the calculus of relations and on first-order logic restricted to finitely many variables, presented by Tarski and Givant their book, A Formalization of…

Uncertainty relations for particle motion in curved spaces are discussed. The relations are shown to be topologically invariant. New coordinate system on a sphere appropriate to the problem is proposed. The case of a sphere is considered in…

In this paper we study possibilities of efficient reasoning in combinations of theories over possibly non-disjoint signatures. We first present a class of theory extensions (called local extensions) in which hierarchical reasoning is…

We study $\varepsilon$-stability in continuous logic. We first consider stability in a model, where we obtain a definability of types result with a better approximation than that in the literature. We also prove forking symmetry for…

Oftentimes, Stokes' theorem is derived by using, more or less explicitly, the invariance of the curl of the vector field with respect to translations and rotations. However, this invariance -- which is oftentimes described as the curl being…

We study particle theories that have a tower of worldline internal degrees of freedom. Such a theory can arise when the worldsheet of closed strings is dimensionally reduced to a worldline, in which case the tower is infinite with regularly…

Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules, and a priority relation on rules. We show that inference in the propositional form of the logic can be performed in linear time. This contrasts…

We give several new characterizations of $IP$ (the independence property) and $SOP$ (the strict order property) for continuous first order logic and study their relations to the function theory and the Banach space theory. We suggest new…

We show the existence and uniqueness of invariant foliations about invariant tori in analytic discrete-time dynamical systems. The parametrisation method is used prove the result. Our theory is a foundational block of data-driven model…

In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space R^n with n >= 1…

In light of the recent work by Sen and Gibbons, we present a phase-plane analysis on the cosmology containing a rolling tachyon field in a potential resulted from string theory. We show that there is no stable point on the phase-plane,…

The recent progress in string theory strongly suggests that formation and evaporation of black holes is a unitary process. This fact makes it imperative that we find a flaw in the semiclassical reasoning that implies a loss of information.…

We review and extend recent findings of Godsil and Zaks, who published a constructive coloring of the rational unit sphere with the property that for any orthogonal tripod formed by rays extending from the origin of the points of the…