From e55ffead297fd04fe73e5f7bd6d05a151450fb99 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Sat, 9 Jul 2022 13:44:59 +0200
Subject: Aspelled

---
 sections/conj_classes.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'sections/conj_classes.tex')

diff --git a/sections/conj_classes.tex b/sections/conj_classes.tex
index 8beace0..3e4cb3a 100644
--- a/sections/conj_classes.tex
+++ b/sections/conj_classes.tex
@@ -91,7 +91,7 @@
 	that $\Pi = \Gamma$.
 	We will construct a strategy for the second player in the Banach-Mazur game
 	on the topological space $G$. This strategy will give us a subset 
-	$A\subseteq G$ and as we will see a subset of a cojugacy class in $G$.
+	$A\subseteq G$ and as we will see a subset of a conjugacy class in $G$.
 	By the Banach-Mazur theorem \ref{theorem:banach_mazur_thm} this will prove 
 	that this class is comeagre.
 
@@ -234,6 +234,7 @@
 	% infinite and has the random graph property.
  %  \end{proof}
   \begin{proposition}
+	\label{proposition:fixed_points}
 	Let $\sigma$ be the generic automorphism of $\Gamma$. Then the set
 	of fixed points of $\sigma$ is isomorphic to $\Gamma$.
   \end{proposition}
@@ -242,7 +243,7 @@
 	Let $S = \{x\in \Gamma\mid \sigma(x) = x\}$.
 	First we need to show that it is an infinite. By the theorem \ref{theorem:generic_aut_general}
 	we know that $(\Gamma, \sigma)$ is the Fraïssé limit of $\cH$, thus we
-	can embedd finite $L$-structures of any size with identity as an 
+	can embed finite $L$-structures of any size with identity as an 
 	automorphism of the	structure into $(\Gamma, \sigma)$. Thus $S$ has to be
 	infinite. Also, the same argument shows that the age of the structure is
 	exactly $\cC$. It is weakly ultrahomogeneous, also by the fact that
-- 
cgit v1.2.3

