Related papers: Constructing nonstandard hulls and Loeb measures i…
The use of nonstandard methods to characterize properties of weak, strong and mixed extensions of congruences to ultrafilters has been the main topic of several recent papers. We show that similar methods can be used to characterize the…
In this paper we present a use of nonstandard methods in the theory of ultrafilters and in related applications to combinatorics of numbers.
We use nonstandard analysis to study the problem of expressing a Gaussian integral in terms of the limiting behavior of a sequence of spherical integrals. Peterson and Sengupta proved that if a Gaussian measure $\mu$ has full support on a…
Non-Archimedean mathematics (in particular, nonstandard analysis) allows to construct some useful models to study certain phenomena arising in PDE's; for example, it allows to construct generalized solutions of differential equations and…
The aim of this contribution is to bring together the areas of $p$-adic analysis and nonstandard analysis. We develop a nonstandard measure theory with values in a complete non-Archimedean valued field $K$, e.g. the $p-$adic numbers…
Highly saturated models are a fundamental part of the model-theoretic machinery of nonstandard analysis. Of the two methods for producing them, ultrapowers constructed with the aid of $\kappa^+$-good ultrafilters seems by far the less…
This note has several aims. Firstly, it portrays a non-standard analysis as a functor, namely a functor * that maps any set A to the set *A of its non-standard elements. That functor, from the category of sets to itself, is postulated to be…
It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal…
Using the tools of nonstandard analysis, we develop and present an alternative formulation of Bohmian mechanics. This approach allows one to describe a broader assortment of physical systems than the standard formulation of the theory. It…
As of this date of this version, this monograph (part I and II) contains most of the technical results relative to the Robinson-styled nonstandard modeling of natural languages and certain associated linguistic processes such as deduction…
We investigate the properties of certain elliptic systems leading, a~priori, to solutions that belong to the space of Radon measures. We show that if the problem is equipped with a so-called asymptotic Uhlenbeck structure, then the solution…
The methods of non-linear realizations have proven to be powerful in studying the low energy physics resulting from spontaneously broken internal and spacetime symmetries. In this paper, we reconsider how these techniques may be applied to…
Almost two decades ago, Wattenberg published a paper with the title 'Nonstandard Analysis and Constructivism?' in which he speculates on a possible connection between Nonstandard Analysis and constructive mathematics. We study Wattenberg's…
The consideration of nonstandard models of the real numbers and the definition of a qualitative ordering on those models provides a generalization of the principle of maximization of expected utility. It enables the decider to assign…
State estimation or filtering serves as a fundamental task to enable intelligent decision-making in applications such as autonomous vehicles, robotics, healthcare monitoring, smart grids, intelligent transportation, and predictive…
A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then…
In this paper, nonstandard multistep methods are considered. It is shown that under some (sufficient and necessary) conditions, these methods attain the same order as their standard counterparts - to prove this statement, a nonstandard…
Using nonstandard analysis (NSA), the proof of the Laplace's formula is given. The usage of NSA reduces the intricacy of taking limit, and the crude line of the proof would be clearly seen, compared to the done with the rigorous classical…
In a prior paper, the author described an instability in a nonlinear wavefunction model. Proposed in connection with the Measurement Problem, the model contained an external potential creating a ``classical'' instability. However, it is…
We develop a framework for nonstandard analysis that gives foundations to the interplay between external and internal iterations of the star map, and we present a few examples to show the strength and flexibility of such a nonstandard…