We prove a comparison theorem realting choice and comprhension principles improving upon previous results by Friedman and others
A remark on dependent choice and comprehension principles in second order arithmetic / A. Cantini. - STAMPA. - Tagungsberichte MFO:(1984), pp. 4-4. (Intervento presentato al convegno Tagung Mathematische Logik tenutosi a Oberwolfach nel Gennaio 1984).
A remark on dependent choice and comprehension principles in second order arithmetic
CANTINI, ANDREA
1984
Abstract
We prove a comparison theorem realting choice and comprhension principles improving upon previous results by Friedman and others
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.
