diff options
Diffstat (limited to 'sections/examples.tex')
| -rw-r--r-- | sections/examples.tex | 9 |
1 files changed, 4 insertions, 5 deletions
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 |