Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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)?

share|improve this question
    
Topos theory should probably be mentioned here. –  David Roberts Nov 23 '12 at 6:09
2  
There is no Scott-Solovay paper, though there are some notes that were informally circulated and were supposed to be turned into it. The material appears in several sources, but the main reference, both for the mathematics, and for historical comments, is the book by John Bell on "Boolean-valued models". The third edition appeared in 2005: Bell, John L. Set theory. Boolean-valued models and independence proofs, third edition. Oxford Logic Guides, 47. The Clarendon Press, Oxford University Press, Oxford, 2005. MR2257858 (2007d:03087) –  Andres Caicedo Nov 23 '12 at 7:16
3  
This is a false dichotomy. The right question is why set theorist did not abandon ZFC in favour of Łukasiewicz logic with full comprehension as the foundations of mathematics, and the answer to that should be obvious: ZFC has been extensively developed for half a century (at that point) and it was successfully adopted by the mainstream mathematical community, whereas Chang’s system was based on an unfamiliar logic which is quite awkward to work in (e.g., you have to constantly keep track of how many times you used an assumption of a theorem, due to the lack of contraction), ... –  Emil Jeřábek Nov 23 '12 at 12:00
3  
... and it was not at all clear whether the theory is capable of developing common mathematical tools needed to serve as the foundation of mathematics. (After another half a century, not much has changed, except there are some results indicating that the theory is rather inadequate to develop mathematics, namely Hájek proved that it is inconsistent with induction.) Though if you are asking what motivated the set-theoretical community, I’d guess that most of the community never even heard of Chang’s result. –  Emil Jeřábek Nov 23 '12 at 12:08
    
@ Andres: Thanks for the comment--very helpful. I took a look at the first chapter of Bell's book, hoping it would give an intuitive motivation for generalizing from the {0,1} Boolean algebra to a Boolean algebra with more than two elements but no, all it did (correctly, of course) was show that you can consistently make the generalization. I guess what I am hoping to do is to understand how to interpret the 'intermediate values' between 0 and 1 when the Boolean algebra contains elements other than 0 or 1. –  Thomas Benjamin Nov 24 '12 at 0:18

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.