Аксиоматизируемые классы.

[Dwant]

Задача:
а) Придумать А- и Е- аксиоматизируемый класс (класс должен быть нетривиальным, т.е. не может быть пустым и универсальным).
б) Придумать общую характеристику А- и Е- аксиоматизирумых классов.

Подскажите, пожалуйста, ход мыслей или литературу на подобную тему.

Предположения:
1)Я знаю, что класс одновременно А- и Е- аксиоматизируемый, если он замкнут относительно надсистем и подсистем. Тогда можно попробовать подобрать такой класс, но не понятно как.

2)Достаточно задать А- (Е-) формулу и эквивалентную ей Е- (А-) формулу, соответственно. И по этой формуле задать класс.

[Профессор Снэйп]

Dwant в сообщении #618584 писал(а):

Придумать А- и Е- аксиоматизируемый класс

$\forall$-аксиоматизируемый и $\exists$-аксиоматизируемый!!! \LaTeX осваивайте немедленно!

-- Пт сен 14, 2012 15:35:43 --

Dwant в сообщении #618584 писал(а):

Подскажите, пожалуйста,.. литературу на подобную тему.

Ершов, Палютин, Математическая логика.