Axiomatization of quantum mechanics and physics in general ?

[wle]

Where did you learn to derive CHSH?

Originally a combination of an introduction to Bell's theorem by Travis Norsen [arXiv:0707.0401 [quant-ph]], one of Bell's explanations ["The theory of local Beables"], and just sitting down and working it out. I'd read both Bell's original 1964 article the 1969 CHSH article before that but didn't find the reasoning quite as clear.

Deriving the local bound on a given linear Bell correlator isn't really an issue though. Like you pointed out earlier in post #192, it's sufficient to consider deterministic models. You can always work out the local bound on a linear Bell correlator just by maximising it over the set of local deterministic strategies (i.e., deterministic ways of mapping inputs $x$ and $y$ to outputs $a_{x}$ and $b_{y}$), and there are a finite number of these (e.g., there are sixteen in the situation that the CHSH correlator applies to).