We rpove some conservative extensions results concerning choice principles and uniformity principles in the case of so-called explicit mathematics a la Feferman
Adding choice and uniformity to weak applicative systems / A.Cantini. - STAMPA. - (2002), pp. 9-9. (Intervento presentato al convegno MFO tenutosi a Oberwolfach nel Aprile 2002).
Adding choice and uniformity to weak applicative systems.
CANTINI, ANDREA
2002
Abstract
We rpove some conservative extensions results concerning choice principles and uniformity principles in the case of so-called explicit mathematics a la Feferman
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.
