Wyślij wiadomość: Annals of mathematical logic.