definition A4.2 Maximal consistent
open in the book ·
appendices/04-completeness.tex:70
· p. 2896
- ground object -- no derivation owed
Rests on
-
depends_on
definition 7.82
Consistency, completeness, soundness
¶
- depends_on definition 7.80 Formal system ¶
- depends_on definition 7.7 Negation ¶
Supports
-
depends_on
definition A4.6
The term structure
¶
-
depends_on
lemma A4.8
Truth lemma
¶
-
depends_on
theorem A4.9
Model existence
¶
- depends_on corollary A4.11 Compactness ¶
- depends_on theorem A4.10 Completeness ¶
-
depends_on
theorem A4.9
Model existence
¶
-
depends_on
lemma A4.7
lem:app-comp-welldefined
¶
- depends_on lemma A4.8 Truth lemma ¶ ↺
- depends_on theorem A4.9 Model existence ¶ ↺
-
depends_on
lemma A4.8
Truth lemma
¶
- depends_on lemma A4.3 Lindenbaum ¶
-
depends_on
lemma A4.4
Behaviour of a maximal consistent set
¶
- depends_on lemma A4.8 Truth lemma ¶ ↺
- depends_on lemma A4.7 lem:app-comp-welldefined ¶ ↺
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Consistency, completeness, soundness | declared | appendices/04-completeness.tex:74 |
depends_on |
← | The term structure | declared | appendices/04-completeness.tex:251 |
depends_on |
← | Lindenbaum | declared | appendices/04-completeness.tex:79 |
depends_on |
← | Behaviour of a maximal consistent set | declared | appendices/04-completeness.tex:131 |