Daniel Freedman has contributed to 59 nLab pages.
| constructive mathematics | 05:51:07, December 26 2023 |
| comparison | 05:36:09, December 26 2023 |
| strict partial order | 05:17:24, December 26 2023 |
| strict weak order | 05:12:20, December 26 2023 |
| strict preorder | 05:10:12, December 26 2023 |
| constructive mathematics | 00:48:32, December 26 2023 |
| positive number | 00:44:45, December 26 2023 |
| irreflexive comparison | 00:42:45, December 26 2023 |
| Dedekind completion | 00:41:46, December 26 2023 |
| strict preorder | 00:40:51, December 26 2023 |
| strict weak order | 00:06:05, December 26 2023 |
| irreflexive comparison | 00:04:39, December 26 2023 |
| irreflexive comparison | 23:22:15, December 25 2023 |
| strict weak order | 23:18:06, December 25 2023 |
| finite object | 22:55:39, December 25 2023 |
| strict preorder | 22:52:28, December 25 2023 |
| strict and non-strict orders | 22:46:25, December 25 2023 |
| Coquand universe | 22:44:47, December 25 2023 |
| Russell universe | 22:44:23, December 25 2023 |
| streak | 22:41:59, December 25 2023 |
| total preorder | 22:41:00, December 25 2023 |
| infinitesimal number | 22:40:30, December 25 2023 |
| Archimedean property | 22:39:21, December 25 2023 |
| coherent logic | 22:38:31, December 25 2023 |
| analytic Markov's principle | 22:38:03, December 25 2023 |
| ordered reduced local ring | 22:36:06, December 25 2023 |
| ordered local integral domain | 22:35:57, December 25 2023 |
| ordered Kock field | 22:35:48, December 25 2023 |
| ordered Artinian local ring | 22:35:30, December 25 2023 |
| stable relation | 22:35:17, December 25 2023 |