Valeria de Paiva has contributed to 167 nLab pages.
| André Joyal | 04:02:45, April 07 2025 |
| differential category | 17:53:38, March 28 2025 |
| differential linear logic | 21:56:13, March 27 2025 |
| categories mailing list | 01:40:47, March 27 2025 |
| explicit substitution | 23:48:30, February 11 2025 |
| Brian Day | 00:38:30, January 27 2025 |
| minimal logic | 22:50:19, January 19 2025 |
| true proposition | 02:33:21, January 03 2025 |
| truth value | 02:32:29, January 03 2025 |
| proposition | 02:31:34, January 03 2025 |
| axiom | 02:30:51, January 03 2025 |
| Hilbert's program | 02:29:53, January 03 2025 |
| proof | 02:28:18, January 03 2025 |
| proof theory | 02:27:33, January 03 2025 |
| foundation of mathematics | 02:25:45, January 03 2025 |
| Curry's paradox | 02:21:30, January 03 2025 |
| axiom of full comprehension | 02:19:20, January 03 2025 |
| axiom of foundation | 16:26:11, January 02 2025 |
| axiom of extensionality | 16:23:51, January 02 2025 |
| Dialectica interpretation | 01:44:58, December 31 2024 |
| HOL Light | 21:10:04, December 30 2024 |
| NuPRL | 21:09:31, December 30 2024 |
| Lean | 21:08:08, December 30 2024 |
| geogebra | 21:02:25, December 30 2024 |
| (classical) axiom of multiple choice | 18:54:29, December 30 2024 |
| axiom of choice | 17:32:28, December 30 2024 |
| logic | 17:30:56, December 30 2024 |
| mathematical logic | 17:29:54, December 30 2024 |
| excluded middle | 17:28:28, December 30 2024 |
| BHK interpretation | 17:21:44, December 30 2024 |