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. ( Mathematisches Forschungsinstitut Oberwolfach Oberwolfach 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 analysis
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.
