Ultraproducts and the axiom of choice
Ultraproducts and Ultra-Limits of Near-Rings.
Ultraproducts of -predual spaces
Ultraproducts Of Well Orders
Ultraproduits des groupes finis et applications à la théorie de Galois
Ultraproduits gradués. Applications.
Dans ce travail sont définis les ultraproduits d'anneaux et de modules gradués. L'ultraproduit gradué coïncide dans le case d'une famille Ri[X1, ..., Xn], i ∈ I, d'anneaux de polynômes avec le sousanneau d'éléments génerés dans l'ultraproduit usuel par les familles de polynômes de degré total borné.Nous démonstrons que l'ultraproduit d'une famille de modules gradués libres, qui verifie une condition naturelle de finitude et aussi un module gradué libre (Théorème 2.2). Après un étude de l'arithmétique...
Ultrapuissances et applications dans le cadre de l'analyse non standard
Un anneau de Prüfer
Let be the ring of integer valued polynomials over . This ring is known to be a Prüfer domain. But it seems there does not exist an algorithm for inverting a nonzero finitely generated ideal of . In this note we show how to obtain such an algorithm by deciphering a classical abstract proof that uses localisations of at all prime ideals of . This confirms a general program of deciphering abstract classical proofs in order to obtain algorithmic proofs.
Un episodio de la crisis de fundamentos: 1904.
Un estudio no standard de la teoría de la recursividad relativa.
Un modèle fonctionnel des structures de contrôle
Un paseo alrededor de la teoría de conjuntos.
Un point de logique aristotélicienne : le «définitionnel»
Ni description, ni démonstration mais recherche de l'élément qui différencie un concept de ceux qui lui sont le plus proches, telle est la définition classique. On a choisi d'analyser ici 1) ce qui fait de la définition une forme de prédication «réflexive», 2) la liaison établie par Aristote entre la définition-formule qui permet d'identifier la chose, d'abord par rapport à elle-même, et la théorie des prédicables ! Celle-ci est une amorce systématique de ce qui est aujourd'hui la théorie de l'argumentation....
Un principe de résolution en logique modale
Un texto español de lógica de las matemáticas del año 1880.
Un théorème en Algèbre et en Analyse.
Una classe di soluzioni con zeri dell'equazione funzionale di Aleksandrov.
In this paper we consider the Aleksandrov equation f(L + x) = f(L) + f(x) where L is contained in Rn and f: L --> R and we describe the class of solutions bounded from below, with zeros and assuming on the boundary of the set of zeros only values multiple of a fixed a > 0. This class is the natural generalization of that described by Aleksandrov itself in the one-dimensional case.
Una introducción a la W-calculabilidad: Operaciones básicas.
Our purpose is to introduce the W-composition, W-minimalization and W-primitive recursion operations as operations between W-valued functions, where W denotes the ordered semiring ([0,1],+,≤). We prove that: 1) the set of W-calculable functions is closed under the W-composition and W-primitice recursion operations, and 2) the set of the partially W-calculable functions is closed under the W-minimalization operation.
Una lógica modal para la geometría esférica de incidencia.
Habitualmente, las geometrías de incidencia están basadas en estructuras bisurtidas formadas por puntos y rectas, y conectadas por una relación entre ambas clases. En lo que sigue, introducimos una estructura monosurtida, que llamamos Marco Esférico de Incidencia, la cual resulta adecuada, para construir una base semántica que permita su consideración en el lenguaje modal. Construiremos así un sistema axiomático para dicho lenguaje, que estaría determinado por la estructura creada, es decir probaremos...
Una nueva definición de aplicación difusa.
If X, Y are universes of discourse, a fuzzy mapping f: X --> Y is defined as a classical mapping f: X x [0,1] --> P(Y). Their basic properties are studied as well as their relations with the classical model of fuzzy mapping.