% use [nosolutions] flag to hide solutions.
% use [solutions] flag to show solutions.
\documentclass[
	solutions,
	singlenumbering
]{../../resources/ormc_handout}
\usepackage{../../resources/macros}


% for \coloneqq, a centered :=
\usepackage{mathtools}

\uptitlel{Advanced 2}
\uptitler{Spring 2023}
\title{Definable Sets}
\subtitle{Prepared by \githref{Mark} on \today{}}

\begin{document}

	\maketitle

	\input{parts/0 logic.tex}
	\input{parts/1 structures.tex}
	\input{parts/2 quantifiers.tex}
	\input{parts/3 sets.tex}
	\input{parts/4 equivalence.tex}

\end{document}