Options
Leibniz principle and unlimited formulas. Star concepts
Principio di Liebniz e formule illimitate. Star-concetti
Crisma, Lucio
Holzer, Silvano
1979
Abstract
Con una opportuna estensione dei monomorfismi si ottiene una trasformazione dei predicati (concetti) che consente di formulare ii principio di Leibniz in forma generalizzata e di agevolare, evitando gravosi problemi di formalizzazione, lo studio dell’analisi non-standard e delle sue applicazioni.
We obtain a transformation of the meta-predicates (concepts) by means of a suitable extension of the monomorphisms. This transformation allows us to derive a useful generalization of Leibniz’s principle and moreover, avoiding heavy formalizations, it tnakes easier the study of the Non-standard Analysis and its applications.
Series
Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics
11 (1979)
Publisher
Università degli Studi di Trieste. Dipartimento di Scienze Matematiche
Source
Lucio Crisma, Silvano Holzer, "Principio di Liebniz e formule illimitate. Star-concetti", in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 11 (1979), pp. 122-146.
Languages
it
File(s)