English
Related papers

Related papers: Differential Existential Closedness for the $j$-fu…

200 papers

We prove the Zilber-Pink conjecture for curves in $Y(1)^3$ that intersect a modular curve in the boundary. We also give an unconditional result for unlikely intersection points having few places of supersingular reduction where they are…

Number Theory · Mathematics 2026-02-27 Christopher Daw , Martin Orr , Georgios Papas

We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…

Logic · Mathematics 2025-12-18 Jan Dobrowolski , Francesco Gallinaro , Rosario Mennuni

We consider an equation with drift and either critical or supercritical fractional diffusion. Under a regularity assumption for the vector field that is marginally stronger than what is required for Holder continuity of the solutions, we…

Analysis of PDEs · Mathematics 2012-04-03 Luis Silvestre

We use the newly introduced conformable fractional derivative, which is different from the Caputo and Riemann-Liouville fractional derivatives, to reformulate several common boundary value problems, including those with conjugate,…

Classical Analysis and ODEs · Mathematics 2014-11-21 Douglas R. Anderson

We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field…

Analysis of PDEs · Mathematics 2008-11-11 D. Grigoriev

We determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad.…

Category Theory · Mathematics 2021-09-01 Davide Trotta

It is well-known that the Riemann zeta function does not satisfy any exact polynomial differential equation. Here we present numerical evidence for the existence of approximate polynomial dependencies between the values of the alternating…

Number Theory · Mathematics 2026-02-04 Yuri Matiyasevich

This paper is concerned with a class of nonlinear boundary value problem involving fractional derivative in the $\varphi$-Riemann-Liouville sense. Some Properties of the Green's function for this problem are mentioned. By means of the…

Classical Analysis and ODEs · Mathematics 2021-06-02 Faouzi Haddouchi

It is shown that the complex field equipped with the "approximate exponential map", defined up to ambiguity from a small group, is quasiminimal: every automorphism-invariant subset of the field is countable or co-countable. If the ambiguity…

Logic · Mathematics 2019-11-19 Jonathan Kirby

Infamously, the finite and unrestricted implication problems for the classes of i) functional and inclusion dependencies together, and ii) embedded multivalued dependencies alone are each undecidable. Famously, the restriction of i) to…

Databases · Computer Science 2021-01-13 Miika Hannula , Juha Kontinen , Sebastian Link

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…

Category Theory · Mathematics 2007-05-23 Luigi Santocanale

In this article, which is dedicated to my friend and colleague Boris Zilber on the occasion of his 75th birthday, I put forward a strategy for proving his quasiminimality conjecture for the complex exponential field. That is, for showing…

Logic · Mathematics 2023-06-27 Alex Wilkie

Motivated by Ziegler's computability-theoretic characterisation of finite absolute presentability between groups, we prove an analogous theorem in symbolic dynamics. We introduce the notion of one subshift being finitely determined over…

Logic · Mathematics 2026-05-07 Antonio Nakid Cordero , I. Scott

The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur…

Analysis of PDEs · Mathematics 2014-11-24 Filip Rindler , Giles Shaw

A variety of problems emerged investigating electronic circuits, computer devices and cellular automata motivated a number of attempts to create a differential and integral calculus for Boolean functions. In the present article, we extend…

Logic · Mathematics 2016-08-17 Eduardo Mizraji

This work deals with the obtaining of solutions of first and second order Stieltjes differential equations. We define the notions of Stieltjes derivative on the whole domain of the functions involved, provide a notion of n-times…

Classical Analysis and ODEs · Mathematics 2021-09-23 Francisco J. Fernández , Ignacio Márquez Albés , F. Adrián F. Tojo

We give two results concerning the construction of modular invariant partition functions for conformal field theories constructed by tensoring together other conformal field theories. First we show how the possible modular invariants for…

High Energy Physics - Theory · Physics 2009-10-22 Gerald B. Cleaver , David C. Lewellen

A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…

Logic · Mathematics 2021-02-03 Amador Martin-Pizarro , Martin Ziegler

We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…

Representation Theory · Mathematics 2013-02-06 Klaus Bongartz

We present an elementary Functional Analytic proof of the roughness of Exponential Dichotomy of Ordinary Differential Equations (with exponential growth) on an arbitrary Banach Space.

Functional Analysis · Mathematics 2009-06-05 Osvaldo Mendez , Nada al Hanna