Background
Definition: A ring $R$ is said to satisfy the ascending chain condition (ACC) for left (right) ideals if for each sequence of left (right) ideals $A_1,A_2,\ldots$ of $R$ with $A_1\subseteq A_2\subseteq\cdots,$ there exists a positive integer $n$ (depending on the sequence) such that $A_n=A_{n+1}=\dots$.
Questions
If I want to translate the portion where it says: "if for each sequence of left (right) ideals $A_1,A_2,\ldots$ of $R$ with $A_1\subseteq A_2\subseteq\cdots,$ there exists a positive integer $n$ (depending on the sequence) such that $A_n=A_{n+1}=\dots$" in the above Definition, does it go as follow:
$$(\exists n\in \Bbb{N})(\forall i>n )(\forall \{A_i\}_{i\in \Bbb{N}}\subset R)(A_1\subseteq A_2\subseteq\cdots \Rightarrow A_n=A_{n+1}=\dots)$$
If so, I don't think the translation is complete, since I am not sure how to capture the $\ldots$ notation in symbolic logic notation.