An introduction of nonstandard analysis in purely algebraic terms is presented. As an application, we give a nonstandard proof of a characterization theorem for compact subsets of Sym(N)
In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. T...
In Di Nasso (2015) and Luperi Baglini (2012) it has been introduced a technique, based on nonstandar...
Extending the work of [7] on groups definable in compact complex manifolds and of [1] on strongly mi...
Abstract. An introduction of nonstandard analysis in purely algebraic terms is presented. As an appl...
Starting with a simple formulation accessible to all mathematicians, this second edition is designed...
This MQP reviews the history of nonstandard analysis, how it can be used, and its applications in ba...
Abstract. The principal set-theoretic credos of nonstandard analysis are presented. A “naive ” justi...
In 1961 Robinson introduced an entirely new version of the theory of infinitesimals, which he called...
Nonstandard analysis was born in the decade of 1960 an attempt to give a formal context to the Leibn...
In this paper we survey various set-theoretic approaches that have been proposed over the last thirt...
A nonstandard set theory *ZFC is proposed that axiomatizes the nonstandard embedding *. Besides the ...
We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles i...
An important application of logic to mathematics is the development of nonstandard analysis. We stud...
This monograph discusses nonstandard analysis (NSA) and its applications to harmonic analysis on loc...
AbstractA new foundation for constructive nonstandard analysis is presented. It is based on an exten...
In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. T...
In Di Nasso (2015) and Luperi Baglini (2012) it has been introduced a technique, based on nonstandar...
Extending the work of [7] on groups definable in compact complex manifolds and of [1] on strongly mi...
Abstract. An introduction of nonstandard analysis in purely algebraic terms is presented. As an appl...
Starting with a simple formulation accessible to all mathematicians, this second edition is designed...
This MQP reviews the history of nonstandard analysis, how it can be used, and its applications in ba...
Abstract. The principal set-theoretic credos of nonstandard analysis are presented. A “naive ” justi...
In 1961 Robinson introduced an entirely new version of the theory of infinitesimals, which he called...
Nonstandard analysis was born in the decade of 1960 an attempt to give a formal context to the Leibn...
In this paper we survey various set-theoretic approaches that have been proposed over the last thirt...
A nonstandard set theory *ZFC is proposed that axiomatizes the nonstandard embedding *. Besides the ...
We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles i...
An important application of logic to mathematics is the development of nonstandard analysis. We stud...
This monograph discusses nonstandard analysis (NSA) and its applications to harmonic analysis on loc...
AbstractA new foundation for constructive nonstandard analysis is presented. It is based on an exten...
In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. T...
In Di Nasso (2015) and Luperi Baglini (2012) it has been introduced a technique, based on nonstandar...
Extending the work of [7] on groups definable in compact complex manifolds and of [1] on strongly mi...
DOI
Add to ORKG