"On the plausibility of nonstandard proofs in analysis" (Q3220584)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | "On the plausibility of nonstandard proofs in analysis" |
scientific article |
Statements
"On the plausibility of nonstandard proofs in analysis" (English)
0 references
1984
0 references
infinitely small and infinitely large numbers
0 references
Riemann integration theorem
0 references
spectral theorem
0 references
Arcelà-Ascoli theorem
0 references
nonstandard predicates
0 references
monads
0 references
nonstandard methods
0 references
