Return to Question

added newly created tag

Link

edited Oct 12, 2021 at 13:36

8.5k
1
29
58

ct.category-theory lo.logic real-analysis constructive-mathematics overt-spaces

Fix typo in title, to improve searchability

Link

edited Aug 17, 2014 at 21:42

29.7k
4
101
150

What is the status of the extreme value theorem in forms of constructive mathematics, such as Smooth InfinitessimalInfinitesimal Analysis?

Generalised the question and spelt out the TLA.

Link

edited Aug 17, 2014 at 8:58

8.5k
1
29
58

What is the status of the extreme value theorem in SIAforms of constructive mathematics, such as Smooth Infinitessimal Analysis?

Source Link

asked Aug 13, 2014 at 7:39

16.6k
2
54
127

Loading