Related papers: Complexity of the Ackermann fragment with one lead…

We investigate existence and uniqueness of solutions to a class of fractional parabolic equations satisfying prescribed pointwise conditions at infinity (in space), which can be time- dependent. Moreover, we study the asymptotic behaviour…

While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at most one free variable, are typically decidable. This only…

We study the conservativity of extensions by additional strict equalities of dependent type theories (and more general second-order generalized algebraic theories). The conservativity of Extensional Type Theory over Intensional Type Theory…

Standpoint linear temporal logic SLTL is a recent formalism able to model possibly conflicting commitments made by distinct agents, taking into account aspects of temporal reasoning. In this paper, we analyse the computational properties of…

Given a covering of the projective line with ramifications defined over a number field, we define a plain model of the algebraic curve realizing the Riemann existence theorem for this covering, and bound explicitly the defining equation of…

We prove some results on the existence and compactness of solutions of a fractional Nirenberg problem.

We construct a solution for the Complex Ginzburg-Landau equation in some critical case, which blows up in finite time $T$ only at one blow-up point. We also give a sharp description of its profile. The proof relies on the reduction of the…

We study EC3, a variant of Exact Cover which is equivalent to Positive 1-in-3 SAT. Random instances of EC3 were recently used as benchmarks for simulations of an adiabatic quantum algorithm. Empirical results suggest that EC3 has a phase…

We investigate singularly perturbed nonlinear complex differential systems of the form $\hbar \partial_x f = F (x, \hbar, f)$ where $\hbar$ is a small complex perturbation parameter. Under a geometric assumption on the eigenvalues of the…

We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions and to repetitions of attribute values in the future or…

We prove that the standard conditions that provide unique solvability of a mixed stochastic differential equations also guarantee that its solution possesses finite moments. We also present conditions supplying existence of exponential…

In the setting of exponential investors and uncertainty governed by Brownian motions we first prove the existence of an incomplete equilibrium for a general class of models. We then introduce a tractable class of exponential-quadratic…

In this paper we prove a global existence theorem, in the direction of cosmological expansion, for sufficiently small perturbations of a family of spatially compact variants of the $k=-1$ Friedmann--Robertson--Walker vacuum spacetime. We…

We study the existential theory of equicharacteristic henselian valued fields with a distinguished uniformizer. In particular, assuming a weak consequence of resolution of singularities, we obtain an axiomatization of - and therefore an…

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…

We consider the satisfiability problem for the two-variable fragment of the first-order logic extended with modulo counting quantifiers and interpreted over finite words or trees. We prove a small-model property of this logic, which gives a…

In this paper we give solutions to Hamburger moment problems with missing entries. The problem of completing partial positive sequences is considered. The main result is a characterization of positive definite completable patterns, namely…

We determine the exact threshold of satisfiability for random instances of a particular NP-complete constraint satisfaction problem (CSP). This is the first random CSP model for which we have determined a precise linear satisfiability…

We introduce a multi-sorted stratified syllogistic, called 4LQSR, admitting variables of four sorts and a restricted form of quantification over variables of the first three sorts, and prove that it has a solvable satisfiability problem by…

Let $K_{exp+}$ be the class of all structures $A$ such that the automorphism group of $A$ has at most $c n^{d n}$ orbits in its componentwise action on the set of $n$-tuples with pairwise distinct entries, for some constants $c,d$ with $d <…