Sur le premier système de Lukasiewicz
Sur l'équation aux différences affine du premier ordre unidimensionnelle
On étudie les phénomènes de retard à la bifurcation et de butée pour des systèmes discrets lents-rapides du plan. On donne une explication géométrique de ces phénomènes basée sur l’examen de fonctions reliefs. On démontre ensuite l’existence et la vie brève des longs canards, qui sont des trajectoires ne présentant pas de butée. Trois exemples illustrent ces phénomènes. Le premier expose la problématique, le second permet une expérimentation de l’étude théorique sur les longs canards, le troisième...
Sur les algèbres de Heyting symétriques
Sur les arbres logiques de M. Krasner
Sur les éléments de construction de la logique mathématique
Il s'agit de présenter l'article de Schönfinkel «Über die Bausteine der mathematischen Logik», préparé pour la publication (1924) par H. Behmann, d'après une conférence de Schönfinkel en 1920, qui fonde ce que Curry nommera «la logique combinatoire». L'objectif principal du travail de Schönfinkel est l'élimination générale des variables (propositionnelles, prédicatives, individuelles), grâce à l'usage de plusieurs «fonctions particulières». On trouvera ici : (1) une introduction à l'article de Schönfinkel,...
Sur les familles d'ensembles infinis de nombres naturels
Sur les mesures vectorielles définies par une application Pettis-intégrable
Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle
Une réalisation non-fregéenne du programme sémantique de G. Frege donnée par R. Suszko [5] est une des plus intéressantes constructions logiques de ces dernières années. Notre article est une présentation des aspects formels et philosophiques de la construction du calcul propositionnel SCI qui forme la base de cette réalisation.
Sur les systèmes déductifs dans la logique -valente
Sur les types d'ordre distincts dont les n-ièmes puissances sont équivalentes
Sur l'histoire des diagrammes logiques, «figures géométriques»
Sur quelques algèbres de la Logique
Sur quelques classes universelles de relations -aires
Sur quelques problèmes arithmétiques de la théorie des nombres ordinaux
Sur quelques structures de base pour définir les structures
Sur quelques théorèmes fondamentaux de l'algèbre moderne
Sur une application possible du concept d’homotopie à la théorie des modèles
Cet article vise à appliquer certains concepts de la théorie moderne de l’homotopie à la théorie des modèles. En particulier, le concept d’ensemble simplicial est employé pour décrire les formules d’un langage L du premier ordre, les ensembles définissables d’une structure d’interprétation de L, et les espaces de types d’une théorie couchée dans L. On montre qu’à toute structure d’interprétation de L peut être associé un ensemble simplicial, selon une correspondance fonctorielle qui traduit plongements...
Sur une classe d'algèbre de fonctions généralisées application aux systèmes différentiels
Svenonius sentences and Lindström's theory on preservation theorems
Symmetric and Asymmetric Gaps in Some Fields of Formal Power Series
2000 Mathematics Subject Classification: 03E04, 12J15, 12J25.We consider a construction of fields with symmetric gaps that are not semi-η1. By this construction we give examples of fields with different asymmetric gaps.