This work analyses some relationship between predicative systems and second order Peano arithmetic
De Florio, C., Una nota sulla categoricità dell'aritmetica, in Presilla, R., Rondinara, S. (ed.), Scienze fisiche e matematiche. Istanze epistemologiche e ontologiche, Città Nuova, Roma 2007: 89- 100 [http://hdl.handle.net/10807/28143]
Una nota sulla categoricità dell'aritmetica
De Florio, Ciro
2007
Abstract
This work analyses some relationship between predicative systems and second order Peano arithmeticFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.