"On the plausibility of nonstandard proofs in analysis"

DOI10.1111/J.1746-8361.1984.TB00843.XzbMath0556.03048OpenAlexW2127566888MaRDI QIDQ3220584

E. J. Farkas, Manfred E. Szabo

Publication date: 1984

Published in: dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1746-8361.1984.tb00843.x

zbMATH Keywords

monadsspectral theoremnonstandard methodsArcelà-Ascoli theoreminfinitely small and infinitely large numbersnonstandard predicatesRiemann integration theorem

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Related Items (1)

Nonstandard methods in combinatorics and theoretical computer science

This page was built for publication: "On the plausibility of nonstandard proofs in analysis"