MathDB1 problem
- 0 votes0 replies0 views
Hamkins and the authors' buttons-suffice conjecture for S4.2
Buttons are modal assertions that, once made true, remain true in all further extensions. Hamkins and the authors' buttons-suffice conjecture. The existence of buttons suffices to…