What were the intuitions motivating the creation (or discovery, if you will) of Boolean-valued models? I have searched for the Scott-Solovay paper on the subject, but to no avail. There also seems to be no survey paper dealing with their history. This is a follow-up question to a previous question: "Boolean-valued models vs. the Infinite-valued Logic of Lukasiewicz and set theory". Given Chang's result regarding the consistency of the Axiom of Comprehension (at least a version of it) in infinite-valued logic, what motivated the community of set theorists to take the Boolean-valued model route vs. the infinite-valued logic route (though Boolean-valued models might be classified as a type of infinite-valued logic, there are differences)?
|show 8 more comments|