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.
Principio di Liebniz e formule illimitate. Star concetti / Crisma, L.; Holzer, Silvano. - In: RENDICONTI DELL'ISTITUTO DI MATEMATICA DELL'UNIVERSITÀ DI TRIESTE. - ISSN 0049-4704. - STAMPA. - XI(I-II):(1979), pp. 122-146.
Principio di Liebniz e formule illimitate. Star concetti
HOLZER, SILVANO
1979-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.
