him, "And tell us, Mr. Boolos, what does the analytical hierarchy have to do with the real world?" Without hesitating Boolos replied, "It's part of it"...

and Edward Zalta, 2004, "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1–26. George Boolos, 1998. Logic, Logic, and Logic. Goldrei...

S is an axiomatic set theory set out by George Boolos in his 1989 article, "Iteration Again". S, a first-order theory, is two-sorted because its ontology...

some authors use them to mean instead "x is a subset of A". Logician George Boolos strongly urged that "contains" be used for membership only, and "includes"...

American philosopher and logician George Boolos and published in The Harvard Review of Philosophy in 1996. Boolos' article includes multiple ways of...

Oxford University Press: 304–23. George Boolos, 1998, "A New Proof of the Gödel Incompleteness Theorem" in Boolos, G., Logic, Logic, and Logic. Harvard...

cannot conjure such an entity into existence by mere stipulation." George Boolos argued that much of what has been heretofore obtained by set theory...

Collected Works, Vol. 1, Oxford University Press, 1986, p. 363, fn 23. George Boolos and Richard Jeffrey, 1989. Computability and Logic, 3rd ed. Cambridge...

Boolos, and Logical Objects" (PDF). Journal of Philosophical Logic. 33: 1–26. doi:10.1023/B:LOGI.0000019236.64896.fd. S2CID 6620015. Boolos, George (1990)...

then, until his death in 1996, the prime inspirer of the field was George Boolos. Significant contributions to the field have been made by Sergei N....