Add to ORKGAbstract. We investigate order-theoretic properties of the nonstandard real line, by isolating the basic order-types involved, and the possible relations among them. We focus on order-isomorphisms between the infinitesimals, the infinites, and the whole hyperreal line. We also compute the main cardinal invariants of the order-topology of the nonstandard real line
We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles i...
Abstract"Closures" and "orders" of fields which are not necessarily formally real are introduced her...
In this paper the main results are :Proofs that the ordinal real numbers are real closed fields and ...
We investigate order-theoretic properties of the nonstandard real line, by isolating the basic order...
Nonstandard topology on is a kind of topology constructed by means of nonstandard analysis on . The ...
This paper will be concerned with some fundamental properties of a line. In particular, fundamental ...
We study Borel subsets of the real line up to continuous reducibility. We firstly show that every qu...
The objective of this paper is to investigate the role of the set of irrational numbers as the codom...
AbstractWe construct the Nachbin ordered compactification and the ordered realcompactification, a no...
This book is of interest to students as well as experts in the area of real algebraic geometry, quad...
In this paper we extend the traditional set-theoretic notion of stan-dard models and nonstandard mod...
Given a real finite hyperplane arrangement A and a point p not on any of the hyperplanes, we define ...
AbstractWe study the provability in subsystems of second-order arithmetic of two theorems of Harring...
A forcing poset of size 2 which adds no new reals is described and shown to provide a 2 de na...
The degrees of unsolvability provide a way to study the continuum in algorithmic terms. Measure and ...
We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles i...
Abstract"Closures" and "orders" of fields which are not necessarily formally real are introduced her...
In this paper the main results are :Proofs that the ordinal real numbers are real closed fields and ...
We investigate order-theoretic properties of the nonstandard real line, by isolating the basic order...
Nonstandard topology on is a kind of topology constructed by means of nonstandard analysis on . The ...
This paper will be concerned with some fundamental properties of a line. In particular, fundamental ...
We study Borel subsets of the real line up to continuous reducibility. We firstly show that every qu...
The objective of this paper is to investigate the role of the set of irrational numbers as the codom...
AbstractWe construct the Nachbin ordered compactification and the ordered realcompactification, a no...
This book is of interest to students as well as experts in the area of real algebraic geometry, quad...
In this paper we extend the traditional set-theoretic notion of stan-dard models and nonstandard mod...
Given a real finite hyperplane arrangement A and a point p not on any of the hyperplanes, we define ...
AbstractWe study the provability in subsystems of second-order arithmetic of two theorems of Harring...
A forcing poset of size 2 which adds no new reals is described and shown to provide a 2 de na...
The degrees of unsolvability provide a way to study the continuum in algorithmic terms. Measure and ...
We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles i...
Abstract"Closures" and "orders" of fields which are not necessarily formally real are introduced her...
In this paper the main results are :Proofs that the ordinal real numbers are real closed fields and ...