Определимость предложений языка булевых алгебр с выделенными идеалами

Статья посвящена разработке теоретико-модельных методов формализации онтологий и представления знаний. Исследуются вопросы о том, какие способы представления знаний могут быть реализованы во всех ситуациях, а какие только в определенных частных случаях. Показано, что произвольную информацию всегда можно представить в виде семантической сети предложений логики предикатов первого порядка. С другой стороны, определения понятий не во всех случаях могут быть представлены с помощью явного глоссария; их не всегда можно представить и в виде глоссария, определяющего понятия по одному. Для доказательства этих результатов в работе изучаются теоретико-модельные свойства булевых алгебр с выделенными идеалами.