L'axiomatisation de la syntaxe et le second theorem de Gödel
L'Axiome de la paire dans le système de Zermelo.
Le dimostrazioni di teoremi fondate sull’uso di calcolatori
Le fantôme de la modalité
Le forcing faible ; son utilisation pour caractériser les relations unaires générales pour la chaîne ou la consécutivité des entiers naturels (résultat de R. Solovay, 1976)
Le lambda-calcul du second ordre
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