basics.tex

% Part: model-theory
% Chapter: basics

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

\begin{document}

\olchapter{mod}{bas}{Basics of Model Theory}

\olimport{overview}

\olimport{reducts-and-expansions}

\olimport{substructures}

\olimport{overspill}

\olimport{isomorphism}

\olimport{theory-of-m}

\olimport{partial-iso}

\olimport{dlo}

%\olimport{nonstandard-arithmetic}

\OLEndChapterHook

\end{document}