Talk:Maximal consistent set
From Wikipedia, the free encyclopedia
 |
|||||
| Mathematics grading: | Stub Class | Importance unassessed. | Field unassessed. | ||
Isn't the following:
- The set is closed under a number of conditions internally modelling the T-schema:
- For example, for a set
: 
iff 
, - or,
iff 
, where T is the Herbrand universe of S.
- For example, for a set
a consequence of point 1 and 3? Baarslag 00:10, 26 July 2005 (UTC)
