On Sigma10-extensions of Omega
On some problems in
On the adjunction of any semiset to the system of -classes in AST
On the averaging method for differential equations with delay.
On the Continuity of Internal Functions
On the existence of factor sets by external equivalences in IST.
On the shift-window phenomenon of super-functions.
On the strength of several versions of Dirichlet's ("Pigeon-Hole"-) principle in the sense of first-order logic.
On the theory of grossone.
On Tykhonov's theorem for convergence of solutions of slow and fast systems.
On -extensions of .
One Parameter Subgroups and Nonstandard Analysis.
Ordered ultraconnected rings
Order-types of models of arithmetic and a connection with arithmetic saturation.
-symmetric bi-capacities
Bi-capacities have been recently introduced as a natural generalization of capacities (or fuzzy measures) when the underlying scale is bipolar. They allow to build more flexible models in decision making, although their complexity is of order , instead of for fuzzy measures. In order to reduce the complexity, the paper proposes the notion of -symmetric bi- capacities, in the same spirit as for -symmetric fuzzy measures. The main idea is to partition the set of criteria (or states of nature,...
Perturbations singulières des équations différentielles ordinaires et analyse non-standard
Probability in the alternative set theory
Propriétés des classes d’éléments -standard
Provability in the alternative set theory
Quantifier elimination in quasianalytic structures via non-standard analysis
The paper is a continuation of an earlier one where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here....