http://www.w3.org/ns/prov#value | - Another instance of the just try all possible kinds of forcing approach, but based on the statements that can be forced rather than the partial orders that do so, arises in the various proofs of the consistency of the maximality principle: jdh.hamkins.org/maximalityprinciple
|