% Part: model-theory
% Chapter: models-of-arithmetic

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

\begin{document}

\chapter{Models of Arithmetic}

\olimport{introduction}

\olimport{standard-models}

\olimport{non-standard-models}

\olimport{models-of-q}

\olimport{computable-models}

\OLEndChapterHook

\end{document}
