Talk:Maximal consistent set

From Wikipedia, the free encyclopedia

Mathematics Portal

This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.

Mathematics rating:

Stub Class

Low Priority

Field: Foundations, logic, and set theory

Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article.

Isn't the following:

The set is closed under a number of conditions internally modelling the T-schema:
- For example, for a set $S\!$ : $A \land B \in S$ iff $A \in S \land B \in S$ ,
- or, $(\exists x. \phi(x)) \in S$ iff $\exists t \in T. (\phi(t)) \in S)$ , where $T$ is the Herbrand universe of $S$ .