On a Computability-Theoretic Approach to Boolean-Valued Models.

Nikolay Bazhenov, Manat Mustafa

Browse the full TAMC paper archive.