We discuss the consistency problem for a positive set theory with equality called Strong-Frege-3, introduced by Hinnion some twenty years ago. We also exhibit "natural" models of some fragments of Strong-Frege-3.
About a positive set theory with equality,
LENZI, Giacomo
2006
Abstract
We discuss the consistency problem for a positive set theory with equality called Strong-Frege-3, introduced by Hinnion some twenty years ago. We also exhibit "natural" models of some fragments of Strong-Frege-3.File 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.
