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
2002
Tagungsberichte MFO
MFO
Oberwolfach
A.Cantini
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/326637
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact