Linearly Stratified Models for the Foundations of Nonstandard Mathematics

Mauro Di Nasso. Linearly Stratified Models for the Foundations of Nonstandard Mathematics. Math. Log. Q., 44:138-142, 1998.

Abstract

Abstract is missing.