Zulip Chat Archive
Stream: new members
Topic: Work on non-std analysis
Jiatong Yang (Oct 09 2022 at 06:14):
Is there any work on the formulation of non-standard analysis?
Alex J. Best (Oct 09 2022 at 07:58):
There is docs#hyperreal
Jiatong Yang (Oct 10 2022 at 01:23):
It is nice! :tada:
But does hyperreal satisfy the principle of "every binary relation on std field in which every finite element has a upper bound has an upper bound in the non-std field"?
Jiatong Yang (Oct 10 2022 at 01:26):
The transfer principle clearly satisfies, but there is no formulation or tactic. :joy:
Last updated: Dec 20 2023 at 11:08 UTC