This note deals with theories of operations and classes, which are inspired by the investigation of the (conceptual and technica) borders of Feferman's explicit mathematics.
On extensionality, uniformity and comprehension in the theories of operations and classes / A. CANTINI. - STAMPA. - (2002), pp. 251-270.
On extensionality, uniformity and comprehension in the theories of operations and classes
CANTINI, ANDREA
2002
Abstract
This note deals with theories of operations and classes, which are inspired by the investigation of the (conceptual and technica) borders of Feferman's explicit mathematics.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.