completeness.tex

% Part: first-order-logic
% Chapter: completeness

\documentclass[../../../include/open-logic-chapter]{subfiles}

\begin{document}

\chapter{The Completeness Theorem}

\olimport{introduction}

\olimport{outline}

\olimport{complete-consistent-sets}

\olimport{henkin-expansions}

\olimport{lindenbaums-lemma}

\olimport{construction-of-model}

\olimport{identity}

\olimport{completeness-thm}

\olimport{compactness}

\olimport{compactness-direct}

\olimport{downward-ls}

\OLEndChapterHook

\end{document}