From a15a0040023eb4f8f2b9d9653789063b86ccbe62 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Wed, 24 Aug 2022 23:07:30 +0200 Subject: Extended introducion --- sections/examples.tex | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'sections/examples.tex') diff --git a/sections/examples.tex b/sections/examples.tex index 98a193b..fdb8c6a 100644 --- a/sections/examples.tex +++ b/sections/examples.tex @@ -160,11 +160,10 @@ is a Fraïssé class with WHP and CAP. \end{example} - The prove of this is relatively easy, knowing that there is essentially one - vector space of every finite dimension and that every linear independent subset - of a vector space can be extended to a basis of this space. The Fraïssé limit - of $\cV$ is the $\omega$-dimensional vector space. Thus, by our key Theorem - \ref{theorem:key-theorem} we know that it has a generic automorphism. + Vector spaces of the same dimension are isomorphic, thus it is obvious that + $\cV$ is essentially countable. Also $HP$ and $JEP$ are obvious, as we can + always embed space with smaller dimension into the bigger one. Amalgamation + works exactly the same. In fact, such amalgamation is indeed canonical. \begin{example} The class of all finite graphs $\cG$ is a Fraïssé class with WHP and free -- cgit v1.2.3