Skip to content

Commit b48a292

Browse files
FnControlOptionrzach
authored andcommitted
Fix typo in Dense Linear Orders
1 parent 5435144 commit b48a292

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

content/model-theory/basics/dlo.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ \section{Dense Linear Orders}
4545
a_n$. Given $a \in \Domain{M_1}$, find $b \in \Domain{M_2}$ as
4646
follows:
4747
\begin{enumerate}
48-
\item if $a <_2 a_1$ let $b \in \Domain{M_2}$ be such that $b <_2
48+
\item if $a <_1 a_1$ let $b \in \Domain{M_2}$ be such that $b <_2
4949
b_1$;
5050
\item if $a_n <_1 a$ let $b \in \Domain{M_2}$ be such that $b_n <_2 b$;
5151
\item if $a_i <_1 a <_1 a_{i+1}$ for some $i$, then let $b \in

0 commit comments

Comments
 (0)