Related papers: Completeness classes in algebraic complexity theor…
On June 5, 2007 the second author delivered a talk at the Journees de l'Institut Elie Cartan entitled "Finite symmetry groups in complex geometry". This paper begins with an expanded version of that talk which, in the spirit of the…
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…
Motivated by applications of algebraic geometry, we introduce the Galois width, a quantity characterizing the complexity of solving algebraic equations in a restricted model of computation allowing only field arithmetic and adjoining…
We generalize the correspondence between theories and monads with arities of arXiv:1101.3064 to $\infty$-categories. Additionally, we introduce the notion of complete theories that is unique to the $\infty$-categorical case and provide a…
We study the collection of first-order logical schemata all of whose instances are theorems of a given theory $T$; we call these the validities of $T$ ($\mathsf{V}(T)$). It is easy to see that if $T$ is a decidable theory, then…
These notes were written for the Cours Peccot given at the Coll\`ege de France in 2007.
These notes are a slightly enlarged version of my habilitation thesis, where our research interest and main results in the past few years are summarized. Most of the discussion revolves around complex ordinary differential equations and…
This is (raw) lecture notes of the course read on 6th European intensive course on Complex Analysis (Coimbra, Portugal) in 2000. Our purpose is to describe a general framework for generalizations of the complex analysis. As a consequence a…
In this paper, we study modularity in the context of evolution algebras. Although this property has been previously considered, a complete description is still missing in several natural settings. In particular, we obtain a full…
Compositionality is a key property for dealing with complexity, which has been studied from many points of view in diverse fields. Particularly, the composition of individual computations (or programs) has been widely studied almost since…
The paper is dedicated to the problem of adding a modality to the \Lukasiewicz many-valued logics in the purpose of obtaining completeness results for Kripke semantics. We define a class of modal many-valued logics and their corresponding…
Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…
We introduce a hierarchy of fast-growing complexity classes and show its suitability for completeness statements of many non elementary problems. This hierarchy allows the classification of many decision problems with a non-elementary…
The paper is devoted to two new results concerning varieties of Leibnitz algebras over a field of the zero characteristic. Here is proved the sufficient condition for finiteness colength of variety of Leibnitz algebras. Here is also defined…
This text is the English translation, due to Naoufal Bouchareb, of an unpublished manuscript of 1969 (the French version is available on HAL as hal-00384928) inspired by Zariski's theory of saturation. Its publication is justified by the…
The history of the development of the concept of complex numbers from the 16th to 19th centuries. The origin and refinement of the geometric and physical meaning of complex numbers, the emergence of vectoral analysis.
The relational complexity, introduced by G. Cherlin, G. Martin, and D. Saracino, is a measure of ultrahomogeneity of a relational structure. It provides an information on minimal arity of additional invariant relations needed to turn given…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
In this expository article, we give a self-contained introduction to the wonderfully well-behaved class of pseudocompact algebras, focusing on the foundational classes of semisimple and separable algebras. We give characterizations of such…
These are extended notes of a course given at Tulane University for the 2015 Clifford Lectures. Their aim is to present structure results for group schemes of finite type over a field, with applications to Picard varieties and automorphism…