Assuming the existence of an inaccessible cardinal, transitive full models of the whole set theory, equipped with a linearly-valued rank function, are constructed. Such models generalize superstructures and provide a global framework for nonstandard mathematics.
Linearly stratified models for the foundations of nonstandard set theory
DI NASSO, MAURO
1998-01-01
Abstract
Assuming the existence of an inaccessible cardinal, transitive full models of the whole set theory, equipped with a linearly-valued rank function, are constructed. Such models generalize superstructures and provide a global framework for nonstandard mathematics.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.
