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.
Starconcepts / Crisma, L.; Holzer, Silvano. - In: BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA. D, ALGEBRA E GEOMETRIA. - ISSN 0393-4713. - STAMPA. - Serie VI, II-D(1):(1983), pp. 175-191.
Starconcepts
HOLZER, SILVANO
1983-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
