Le lien entre la logique et la géométrie via les esquisses
Le problème de la mesure
Le problème de l'associativité des monoïdes et le problème des mots pour les demi-groupes ; algèbres partielles et chaînes élémentaires
Le problème des cardinaux singuliers
Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
Le spectre d'un anneau dans l'algèbre constructive et applications à la dimension
Le texte philosophique comme lieu d'étude sur la logique usuelle
Le théorème de Karp-Myhill comme corollaire du théorème des mariages Divers aspects de la « non-généralisation » du théorème de Karp-Myhill
Le théorème de MacIntyre sur les ensembles définissables dans les corps -adiques
Learning discrete categorial grammars from structures
We define the class of discrete classical categorial grammars, similar in the spirit to the notion of reversible class of languages introduced by Angluin and Sakakibara. We show that the class of discrete classical categorial grammars is identifiable from positive structured examples. For this, we provide an original algorithm, which runs in quadratic time in the size of the examples. This work extends the previous results of Kanazawa. Indeed, in our work, several types can be associated to a word...
Lebesgue's Convergence Theorem of Complex-Valued Function
In this article, we formalized Lebesgue's Convergence theorem of complex-valued function. We proved Lebesgue's Convergence Theorem of realvalued function using the theorem of extensional real-valued function. Then applying the former theorem to real part and imaginary part of complex-valued functional sequences, we proved Lebesgue's Convergence Theorem of complex-valued function. We also defined partial sums of real-valued functional sequences and complex-valued functional sequences and showed their...
Lectures on cylindric set algebras
Lectures on ideal dichotomy
Left and right semi-uninorms on a complete lattice
Uninorms are important generalizations of triangular norms and conorms, with a neutral element lying anywhere in the unit interval, and left (right) semi-uninorms are non-commutative and non-associative extensions of uninorms. In this paper, we firstly introduce the concepts of left and right semi-uninorms on a complete lattice and illustrate these notions by means of some examples. Then, we lay bare the formulas for calculating the upper and lower approximation left (right) semi-uninorms of a binary...
Left-distributive embedding algebras.
Leibniz Series forπ
In this article we prove the Leibniz series for π which states that π4=∑n=0∞(−1)n2⋅n+1. The formalization follows K. Knopp [8], [1] and [6]. Leibniz’s Series for Pi is item 26 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.
Lelek fan from a projective Fraïssé limit
We show that a natural quotient of the projective Fraïssé limit of a family that consists of finite rooted trees is the Lelek fan. Using this construction, we study properties of the Lelek fan and of its homeomorphism group. We show that the Lelek fan is projectively universal and projectively ultrahomogeneous in the class of smooth fans. We further show that the homeomorphism group of the Lelek fan is totally disconnected, generated by every neighbourhood of the identity, has a dense conjugacy...
Lengths of Submodule Chains Versus Krull Dimension in Non-Noetherian Modules.
Leninská dialektika a matematika
Les algèbres de Heyting-Brouwer : point de rencontre de plusieurs structures