This paper describes a type constructor for nonstandard extensions of arbitrary types, generalizing the previous formalization of nonstandard analysis in Isabelle by Fleuriot and Paulson [1]. In addition to numeric types, nonstandard extensions of function spaces and set types also prove useful—they provide an elegant way to define internal functions and internal sets. The paper also describes ...

We show how to construct the nonstandard hull of certain infinite-dimensional Lie algebras in order to generalize a theorem of Pestov on the enlargeability of Banach-Lie algebras. In the process, we consider a nonstandard smoothness condition on functions between locally convex spaces to ensure that the induced function between the nonstandard hulls is smooth. We also discuss some conditions on...

systems in which reaction terms are coupled to diffusion and advection transports arise in awide range of chemical engineering applications, physics, biology and environmental. in these cases, thecomponents of the unknown can denote concentrations or population sizes which represent quantities andthey need to remain positive. classical finite difference schemes may produce numerical drawbacks s...

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemann’s ...

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...

We give a nonstandard treatment of the notion of ends of proper geodesic metric spaces. We then apply this nonstandard treatment to Cayley graphs of finitely generated groups and give nonstandard proofs of many of the fundamental results concerning ends of groups. We end with an analogous nonstandard treatment of the ends of relatively Cayley graphs, that is Cayley graphs of cosets of finitely ...

In this paper, we derive a discretized multi-group epidemic model with time delay by using a nonstandard finite difference (NSFD) scheme. A crucial observation regarding the advantage of the NSFD scheme is that the positivity and boundedness of solutions of the continuous model are preserved. Furthermore, we show that the discrete model has the same equilibria, and the conditions for their stab...

In light of escalating job insecurity due to increasing numbers of nonstandard workers, this study examined the association between nonstandard employment and mental health among South Korean workers. We analyzed a representative weighted sample of 2086 men and 1194 women aged 20-64 years, using data from the 1998 Korean National Health and Nutrition Examination Survey. Nonstandard employment i...

In this paper we give an introduction to nonstandard analysis, starting with an ultrapower construction of the hyperreals. We then demonstrate how theorems in standard analysis “transfer over” to nonstandard analysis, and how theorems in standard analysis can be proven using theorems in nonstandard analysis.