Văn bản này: Annals of mathematical logic.