Return to Question

edited title

Link

edited Dec 1, 2022 at 23:38

3.3k
1
22
30

In choiceless constructivism: If f'=0$f'=0$ then is f$f$ constant?

edited title

Link

edited Nov 29, 2022 at 17:44

4.9k
2
21
45

In choiceless constructivism: If f'=0 then f is f constant?

Easier to understand than "constancy"

Link

edited Nov 29, 2022 at 17:20

4.9k
2
21
45

The constancy principle in In choiceless constructive foundationsconstructivism: If f'=0 then f is constant

added 26 characters in body

Source Link

edited Apr 10, 2020 at 18:07

4.9k
2
21
45

Loading

edited title

Link

edited Apr 10, 2020 at 15:46

4.9k
2
21
45

Loading

edited tags

Link

edited Apr 10, 2020 at 12:17

4.9k
2
21
45

Loading

added 105 characters in body

Source Link

edited Apr 10, 2020 at 11:15

4.9k
2
21
45

Loading

Source Link

asked Apr 10, 2020 at 10:56

4.9k
2
21
45

Loading