2023-05-06 17:05:30 -07:00
|
|
|
% use [nosolutions] flag to hide solutions.
|
|
|
|
|
% use [solutions] flag to show solutions.
|
|
|
|
|
\documentclass[
|
|
|
|
|
solutions,
|
|
|
|
|
singlenumbering
|
|
|
|
|
]{../../resources/ormc_handout}
|
|
|
|
|
|
|
|
|
|
% for \coloneqq, a centered :=
|
|
|
|
|
\usepackage{mathtools}
|
|
|
|
|
|
2023-05-25 21:44:07 -07:00
|
|
|
\uptitlel{Advanced 2}
|
|
|
|
|
\uptitler{Spring 2023}
|
|
|
|
|
\title{Definable Sets}
|
|
|
|
|
\subtitle{Prepared by Mark on \today{}}
|
|
|
|
|
|
2023-05-06 17:05:30 -07:00
|
|
|
\begin{document}
|
|
|
|
|
|
2023-05-25 21:44:07 -07:00
|
|
|
\maketitle
|
2023-05-06 17:05:30 -07:00
|
|
|
|
|
|
|
|
\input{parts/0 logic.tex}
|
|
|
|
|
\input{parts/1 structures.tex}
|
2023-05-06 21:30:18 -07:00
|
|
|
\input{parts/2 quantifiers.tex}
|
|
|
|
|
\input{parts/3 sets.tex}
|
2023-06-19 20:24:33 -07:00
|
|
|
\input{parts/4 equivalence.tex}
|
2023-05-06 17:05:30 -07:00
|
|
|
|
|
|
|
|
\end{document}
|
