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
Les boules peuvent-elles engendrer la tribu borélienne d'un espace métrisable non séparable ?
Les chaínes complêtes sont simplifiables à droite pour la multiplication ordinale
Les corps différentiellement clos dénombrables
Les dérivations analytiques
Les dérivations en théorie descriptive des ensembles et le théorème de la borne
Les derniers travaux de Jean Martinet
On montre comment la théorie des classes de Gevrey et de la sommabilité sont des généralisations naturelles de la théorie de Cauchy. On utilise le vocabulaire de l’Analyse Non Standard et on introduit la notion d’-fonction (fonction analytique définie “à près”, pour infiniment petit fixé, et ne prenant que des valeurs infiniment petite devant . On étend la théorie de Cauchy aux -fonctions : c’est la théorie de Cauchy sauvage. On interprète le phénomène de retard à la bifurcation à l’aide...
Les ensembles projectifs et analytiques [Book]
Les fonctions continues et la propriété de Baire
Les -types du système
Nous démontrons dans ce papier que les types du système habités uniquement par des -termes (les -types) sont à quantificateur positif. Nous présentons ensuite des conséquenses de ce résultat et quelques exemples.
Les I-types du système
We prove in this paper that the types of system inhabited uniquely by λI-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.
Les modalités de la correction totale
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.