Undecidability vs transfinite induction for the consistency of hyperarithmetical sets.
Undecidable theories of valuated abelian groups
Undecidable Tiling Problems in the Hyperbolic Plane.
Undecidable varieties with solvable word problems. II.
Undecidable varieties with solvable word problems. III (a semigroup variety).
Undefinable ordinals and the rank hierarchy
Undetermined sets of point-open games
We show that a set of reals is undetermined in Galvin's point-open game iff it is uncountable and has property C", which answers a question of Gruenhage.
Une démonstration du théorème de complétude de Godel
Une démonstration du théorème de Lowenheim-Skolem
Une démonstration du théorème de séparation des ensembles analytiques
Une généralisation de la notion d'ensemble immune
Une généralisation de la théorie des types en -calcul
Une généralisation de la théorie des types en -calcul (II)
Une généralisation des ensembles énumérés
Une Généralisation Du Théorème De Löwenheim Sur Les Équations De Boole
Une généralisation du théorème de Löwenheim sur les équations de Boole.
Une généralisation du théorème d'omission des types dans les algèbres polyadiques
Une modélisation mathématique de la compréhension des énoncés additifs
Cet article fait suite à l'article paru dans le volume 113 de cette revue (D. Guin [15]) où nous avons mis en évidence certains processus cognitifs élémentaires dans l'activité de compréhension d'énoncés additifs, puis proposé une modélisation de la compréhension permettant de prendre en compte ces processus. Dans celle modélisation basée sur la notion d'opérateur, nous avons distingué deux étapes : la compréhension linguistique de l'énoncé et la réduction à un prototype. Nous utiliserons des formalismes...
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
Une théorie finiement axiomatisable et superstable