We study an extension of PA which is suitable to mimick untyped abstraction principles and relate the theory to ramified analysis
Remarks on predicative theories of classifications / A. Cantini. - STAMPA. - Tagunsgsberichte MFO:(1982), pp. 4-4. (Intervento presentato al convegno Mathematisches Forschungsinstitut Oberwolfach tenutosi a Oberwolfach nel Aprile 1981).
Remarks on predicative theories of classifications
CANTINI, ANDREA
1982
Abstract
We study an extension of PA which is suitable to mimick untyped abstraction principles and relate the theory to ramified analysisFile 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.