A metatheory of nonstandard analysis

DOI10.21099/TKBJM/1496162143zbMath0794.03100OpenAlexW1925235071MaRDI QIDQ1316505

Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii

Publication date: 14 March 1994

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496162143

zbMATH Keywords

nonstandard analysisLoeb measureinfinitesimal calculusformal system \(IR\) of infinitary logicmetatheory of nonstandard mathematics

Mathematics Subject Classification ID

Other infinitary logic (03C75) Nonstandard models (03H99)

This page was built for publication: A metatheory of nonstandard analysis