Premium
Linearly Stratified Models for the Foundations of Nonstandard Mathematics
Author(s) -
Nasso Mauro Di
Publication year - 1998
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19980440111
Subject(s) - mathematics , transitive relation , rank (graph theory) , function (biology) , set (abstract data type) , pure mathematics , calculus (dental) , discrete mathematics , combinatorics , computer science , medicine , dentistry , evolutionary biology , biology , programming language
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom