- Utils
- Standard and Blurred Logical Principles
- Definition of Model Theory (Negative Fragment)
- Henkin Model (Negative Fragement)
- Definition of Model Theory
- Constructive Proofs of Löwenhim-Skolem Theorem
- Construction of Henkin Environments
- Reverse Analysis: DC-Delta
- Reverse Analysis of DLS
- Full Decomposition of DLS