jdh.hamkins.org
A gentle introduction to Boolean-valued model theory
This is an excerpt from my book-in-progress on diverse elementary topics in logic, from the chapter on model theory. My view is that Boolean-valued models should be elevated to the status of a sta…