A nonstandard set theory ∗ZFC is proposed that axiomatizes the nonstandard embedding ∗. Besides the usual principles of nonstandard analysis, all axioms of ZFC except regularity are assumed. A strong form of saturation is also postulated. ∗ZFC is a conservative extension of ZFC. Introduction. For practitioners, the most popular foundational approach to nonstandard methods is the so-called super...

This chapter presents some applications of nonstandard finite difference methods to general nonlinear heat transfer problems. Nonlinearity in heat transfer problems arises when i. Some properties in the problem are temperature dependent ii. Boundary conditions are described by nonlinear functions iii. The interface energy equation in phase change problems is nonlinear. Free convection and surfa...