Non-standard models for arithmetic and analysis
Part of the Lecture Notes in Mathematics book series (LNM, volume 118)
KeywordsUniform Space Canonical Extension Elementary Extension Fine Partition Finite Intersection Property
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- .G. KREISEL, Axiomatizations of non-standard analysis which are conservative extensions of formal systems for classical standard analysis. Forthcoming in Synposium on Applications of Model Theory to Analysis and Algebra.Google Scholar
© Springer-Verlag 1969