Linearly Stratified Models for the Found
โ
Mauro Di Nasso
๐
Article
๐
1998
๐
John Wiley and Sons
๐
English
โ 279 KB
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 provide a global framework for nonstandard mathematics.