RENDICONTI DELL'ISTITUTO DI MATEMATICA DELL'UNIVERSITAÌ€ DI TRIESTE
Abstract
We obtain a transformation of the meta-predicates by means of a suitable extension of the monomorphisms. This transformation allows us to derive a useful generalization of Liebniz's principle and, moreover, avoiding heavy formalizations, it makes easier to study of the non-standard analysis and its applications.
