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
Abstract. A general method of interpreting weak higher-type theories of nonstan-dard arithmetic in t...
AbstractA new foundation for constructive nonstandard analysis is presented. It is based on an exten...
We give a very brief survey on ZFC theory (Zermelo-Fraenkel Set The-ory) and we present an intuitive...
An axiomatic nonstandard set theory *ZFC is presented where all axioms of ZFC without foundation are...
In this paper we survey various set-theoretic approaches that have been proposed over the last thirt...
Abstract. The principal set-theoretic credos of nonstandard analysis are presented. A “naive ” justi...
We are developing the foundations of nonstandard analysis with an axiomatic approach. We do this wit...
We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles i...
We are developing the foundations of nonstandard analysis with an axiomatic approach. We do this wit...
We are developing the foundations of nonstandard analysis with an axiomatic approach. We do this wit...
In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. T...
A notion of ideal value of N-sequences is axiomatized through elementary properties. The resulting t...
We give an axiomatic framework for getting full elementary extensions such as ultrapowers. From five...
We study combinatorial principles related to the isomorphism property and the special model axiom in...
An important application of logic to mathematics is the development of nonstandard analysis. We stud...
Abstract. A general method of interpreting weak higher-type theories of nonstan-dard arithmetic in t...
AbstractA new foundation for constructive nonstandard analysis is presented. It is based on an exten...
We give a very brief survey on ZFC theory (Zermelo-Fraenkel Set The-ory) and we present an intuitive...
An axiomatic nonstandard set theory *ZFC is presented where all axioms of ZFC without foundation are...
In this paper we survey various set-theoretic approaches that have been proposed over the last thirt...
Abstract. The principal set-theoretic credos of nonstandard analysis are presented. A “naive ” justi...
We are developing the foundations of nonstandard analysis with an axiomatic approach. We do this wit...
We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles i...
We are developing the foundations of nonstandard analysis with an axiomatic approach. We do this wit...
We are developing the foundations of nonstandard analysis with an axiomatic approach. We do this wit...
In the present paper we introduce a constructive theory of nonstandard arithmetic in higher types. T...
A notion of ideal value of N-sequences is axiomatized through elementary properties. The resulting t...
We give an axiomatic framework for getting full elementary extensions such as ultrapowers. From five...
We study combinatorial principles related to the isomorphism property and the special model axiom in...
An important application of logic to mathematics is the development of nonstandard analysis. We stud...
Abstract. A general method of interpreting weak higher-type theories of nonstan-dard arithmetic in t...
AbstractA new foundation for constructive nonstandard analysis is presented. It is based on an exten...
We give a very brief survey on ZFC theory (Zermelo-Fraenkel Set The-ory) and we present an intuitive...
DOI
Add to ORKG