Консервативные расширения, счетные упорядоченные модели и операторы замыкания

НОВОСТИ