Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

JSYML
2002

favoriteEmaildiscussreport

78views more JSYML 2002»

An Axiomatic Presentation of The Nonstandard Methods in Mathematics

13 years 4 months ago

An Axiomatic Presentation of The Nonstandard Methods in Mathematics

Download www.dm.unipi.it

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.

Mauro Di Nasso

Real-time Traffic

JSYML 2002 | Nonstandard | Nonstandard Embedding | Theory Zfc |

claim paper

Related Content

» Recognition of Online Handwritten Mathematical Expressions Using a Minimum Spanning Tree C...

» Discrete gauge invariant approximations of a time dependent GinzburgLandau model of superc...

» Mathematical Models of Computational and Combinatorial Structures

» Theory Interpretation in Simple Type Theory

» A Theory of Indirection via Approximation

» Records for Logic Programming

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JSYML
Authors	Mauro Di Nasso

Comments (0)