DOI10.1002/malq.19880340412zbMath0658.03045MaRDI QIDQ3807205
Daniel Richardson
Publication date: 1988 Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.19880340412
zbMATH Keywords
class of elementary functions of a real variable; HCF algorithm; Khovanskij finiteness theorem
Mathematics Subject Classification ID
03H05: Nonstandard models in mathematics
26E35: Nonstandard analysis
Related Items