@article{BSL9_1_Boolos,
author = {George BOOLOS},
title = {Omega-Consistency and the Diamond (Abstract)},
journal = {Bulletin of the Section of Logic},
volume = {9},
number = {1},
year = {1980},
pages = {46}
}