Explore >> Select a destination
|
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... | |
| | | | |
www.wjst.de
|
|
| | | | | But let your communication be Yea, yea; Nay, nay. For whatsoever is more than these cometh of evil. | |
| | | | |
openlogicproject.org
|
|
| | | | | I'm happy to report that forall x: Calgary is now available in an HTML version for reading online. It turned out that LaTeXML has come a long way and basically produced good results without t... | |
| | | | |
coreint.org
|
|
| | | Daniel talks to Manton about the new iPhones, whether they're buying one or not, and the pros and cons of pickup vs. delivery. They discuss the merit of AppleCare+ particular for iPhones. They consider the new Camera Control button and whether it's likely to be a "dud" or not. Daniel and Manton going for the new phones, whether to buy AppleCare+ or not. Finally, they consider the possibility that the new AirPods hardware is feature-locked by software, and whether it's ethical to charge customers more for features built-in to a hardware device. | ||
