|
You are here |
www.logicmatters.net | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | I shall be speaking at the ForcingFest meeting at the University of Oslo, 21 June 2024. Abstract. I will explain how the forcing construction can be seen as a direct implementation of the iterative... | |
| | | | |
xahlee.info
|
|
| | | | | [AI summary] A collection of free and verified math textbooks and resources, including calculus, linear algebra, and advanced topics like category theory, along with some unverified materials. | |
| | | | |
ergodicityeconomics.com
|
|
| | | | | ||
| | | | |
bobmartens.net
|
|
| | | Working in Public: The Making and Maintenance of Open Source Software by Nadia Eghbal I just finished this book while walking on the treadmill this morning and I am torn. There are definitely parts... | ||