相关论文: Historical Developments of the Theory of Transcend…

The wealth of data collected in the last few years thanks to the Pierre Auger Observatory and recently to the Telescope Array made the problem of the origin of ultra high energy cosmic rays a genuinely experimental/observational one. The…

We study and describe possibilities for arities of elementary theories and of their expansions. Links for arities with respect to Boolean algebras, to disjoint unions and to compositions of structures are shown. The dynamics for arities of…

Transcendence criteria inspired by Kolberg's paper dated 1962. In his paper dated 1962, Kolberg states and proves a theorem on the transcendence of the values of the sums of a class of certain power series in x, for algebraic values of x.…

Let T be an algebraically bounded theory. We consider the $L(\bar\delta)$-expansions of T by a tuple $\bar \delta$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose…

A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…

We discuss the local and global problems for the equivalence of geometric structures of an arbitrary order and, in later sections, attention is given to what really matters, namely the equivalence with respect to transformations belonging…

The Independence Postulate (IP) is a finitary Church-Turing Thesis, saying mathematical sequences are independent from physical ones. Modelling observations as infinite sequences of real numbers, IP implies the existence of anomalies.

``One could imagine that as a result of enormously extended astronomical experience, the entire universe consists of countless identical copies of our Milky Way, that the infinite space can be partitioned into cubes each containing an…

We study the cosmological stability of a class of theories with a dynamical preferred frame. For a range of actions, we find cosmological solutions which are compatible with observations of the recent history of the Universe: a matter…

We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan\~ol and the authors. We show that this gives a constructive…

This thesis is divided into two parts. The first one is composed of recollections on operad theory, model categories, simplicial homotopy theory, rational homotopy theory, Maurer-Cartan spaces, and deformation theory. The second part deals…

A classical theorem due to Borel asserts that any formal serie with real coefficients is the Taylor expansion of a germ of $\mathcal{C}^{\infty}- {\rm function}$. We study such a problem in the context of Lie algebras of vector fields or of…

What is the shape of the Universe? Is it finite or infinite ? Is space multi-connected to create ghost images of faraway cosmic sources? After a "dark age" period, the field of cosmic topology has now become one of the major concerns in…

We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…

In this second part, we study the Diophantine properties of values of arithmetic Gevrey series of non-zero order at algebraic points. We rely on the fact, proved in the first part, that the minimal differential operator (with polynomial…

We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.

In this paper we study the behaviour of modules over finite dimensional algebras whose endomorphism algebra is a division ring. We show that there are finitely many such modules in the module category of an algebra if and only if the length…

We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…

The author introduces the notion of a quantum form of an algebraic torus. In the case of diagonal algebraic torus we get the algebra of Laurent twisted polynomials. Quantum algebraic torus can be characterized in terms of exact sequences.…

We give an elementary proof of the theorem which states that a finite unramified algebra over a discrete field is tracically \'etale. -- Nous donnons une d\'emonstration \'el\'ementaire du th\'eor\`eme selon lequel toute alg\`ebre nette sur…