Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fragment of Nonstandard Analysis with a Finitary Consistency Proof |
scientific article |
Statements
Fragment of Nonstandard Analysis with a Finitary Consistency Proof (English)
0 references
8 August 2007
0 references
infinitesimal calculus
0 references
nonstandard analysis
0 references
consistency proof
0 references
0 references
