Bounds and definablity over fields.
Bounds in the theory of polynomial rings over fields. A nonstandard approach.
Cardinalité, saturation et finitude
Closure properties of countable non-standard integers
Completion closed algebras and models of Peano arithmetic
Completion of a class of topological semilattices, applications. (Complétion d'une classe de demi-treillis topologiques, applications.)
Complexity of the axioms of the alternative set theory
If T is a complete theory stronger than ZF such that axiom of extensionality for classes + T + is consistent for 1 (each alone), where are normal formulae then we show AST + + scheme of choice is consistent. As a consequence we get: there is no proper -formula in AST + scheme of choice. Moreover the complexity of the axioms of AST is studied, e.gẇe show axiom of extensionality is -formula, but not -formula and furthermore prolongation axiom, axioms of choice and cardinalities are -formulae,...
Conditional Probability in Nonstandard Analysis
Conservative extensions of models of arithmetic.
Constructibility and shiftings of view
Construction of the class FN
Constructions of classes by transfinite induction in AST
Continuous norms on locally convex spaces.
Contribuciones al análisis funcional no-standard.
En este trabajo presentamos aportaciones al tratamiento no-standard del Análisis Funcional en dos direcciones. En la sección 2 la envoltura no-standard de un espacio vectorial topológico, introducida por Luxemburg [7] y por Henson y Moore [2] se aplica al caso de un álgebra topológica. En las secciones 3 y 4 se dan caracterizaciones de elementos accesibles (pre-near-standard) y casi-standard (near-standard) en espacios vectoriales topológicos en términos de una familia filtrante densa de subespacios...
Correction to the paper: “Set-like equivalence and inner and outer cuts”
Coupures propres dans
Cuts of real classes
Cyclic monads and their applications.
Cyclically compact operators in Banach spaces.
Definability degrees for classes in the alternative set theory