An axiomatic nonstandard set theory *ZFC is presented where all axioms of ZFC without foundation are assumed and a strong form of saturation holds. The class of standard elements is a model of ZFC. *ZFC and ZFC are equiconsistent.
*ZFC: an axiomatic *approach to nonstandard methods
DI NASSO, MAURO
1997-01-01
Abstract
An axiomatic nonstandard set theory *ZFC is presented where all axioms of ZFC without foundation are assumed and a strong form of saturation holds. The class of standard elements is a model of ZFC. *ZFC and ZFC are equiconsistent.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.
