Set Theory: Boolean-Valued Models and Independence Proofs

By J. Bell. 2005

144 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/6eb153c52d1e8c67022f825e3397b635e6e0b4f6

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Michael Kupper

Citations in the corpus

• The algebra of conditional sets and the concepts of conditional topology and compactness (2013, background): “Similar constructions of the real numbers in Boolean-valued models can be found in Scott [17], Solovay [18] and Bell [1].”