josia-notes/w23-logic-3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

lecture 27
Some checks failed
Build latex and deploy / checkout (push) Failing after 19m35s
Details

Browse source
This commit is contained in:
Josia Pietsch 2024-02-02 12:54:46 +01:00
parent 9a244692b1
commit 93976c4821
Signed by: josia
GPG key ID: E70B571D66986A2D
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
inputs/lecture_27.tex
View file

@ -80,7 +80,7 @@ S^\cV(\cU) = \cV-\lim_n S^n(\cU) = \cV-\lim_n(\hat{n} + \cU) =
\end{definition} \end{definition}
\begin{theorem} \begin{theorem}
\yalabel{thm:unifrprox:helper2} \label{thm:unifrprox:helper2}
\begin{enumerate}[(1)] \begin{enumerate}[(1)]
\item $\cU$ is uniformly recurrent in $\beta\N$ \item $\cU$ is uniformly recurrent in $\beta\N$
iff $\cU$ belongs to a minimal\footnote{wrt.~$\subseteq $} (closed) iff $\cU$ belongs to a minimal\footnote{wrt.~$\subseteq $} (closed)