aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFranciszek Malinka <franciszek.malinka@gmail.com>2022-08-25 23:25:59 +0200
committerFranciszek Malinka <franciszek.malinka@gmail.com>2022-08-25 23:25:59 +0200
commit455aebf298adc6f601a215c7dafc78c79b889db5 (patch)
tree30ea6e1d284230585de77f3ea5c55cd01e2914db
parentf45656a556b0918c4c8c4c6077381e29273b62ab (diff)
Added intr and footer
-rw-r--r--lic_malinka.pdfbin497322 -> 497805 bytes
-rw-r--r--lic_malinka.tex9
-rw-r--r--lic_malinka_with_footer.pdfbin0 -> 770475 bytes
-rw-r--r--sections/introduction-pl.tex13
-rw-r--r--sections/introduction.tex13
-rwxr-xr-xstamp.sh16
6 files changed, 38 insertions, 13 deletions
diff --git a/lic_malinka.pdf b/lic_malinka.pdf
index 89f1abc..62e71ec 100644
--- a/lic_malinka.pdf
+++ b/lic_malinka.pdf
Binary files differ
diff --git a/lic_malinka.tex b/lic_malinka.tex
index ed73de7..9fb4a64 100644
--- a/lic_malinka.tex
+++ b/lic_malinka.tex
@@ -149,27 +149,30 @@
\vfill
\newpage
- \begin{abstract}
- Abstract
- \end{abstract}
\section{Introduction}
+ \label{section:introduction}
\subfile{sections/introduction}
\newpage
\section*{Wstęp}
+ \label{section:wstep}
\subfile{sections/introduction-pl}
\newpage
\section{Preliminaries}
+ \label{section:preliminaries}
\subfile{sections/preliminaries}
\section{Fraïssé classes}
+ \label{section:fraisse_classes}
\subfile{sections/fraisse_classes}
\section{Conjugacy classes in automorphism groups}
+ \label{section:conjugacy_classes}
\subfile{sections/conj_classes}
\section{Examples}
+ \label{section:examples}
\subfile{sections/examples.tex}
\printbibliography
diff --git a/lic_malinka_with_footer.pdf b/lic_malinka_with_footer.pdf
new file mode 100644
index 0000000..a84646a
--- /dev/null
+++ b/lic_malinka_with_footer.pdf
Binary files differ
diff --git a/sections/introduction-pl.tex b/sections/introduction-pl.tex
index a839164..852bc01 100644
--- a/sections/introduction-pl.tex
+++ b/sections/introduction-pl.tex
@@ -38,9 +38,12 @@
grami Banacha-Mazura, które są dobrze znanym narzędziem w deskryptywnej
teorii mnogości.
- Opisana konstrukcja generycznego automorfizmu okazuje się pomocna w dowodzeniu
- niektórych własności tego automorfizmu (patrz \ref{corollary:fixed_points}).
- W ostatnim rozdziale przytaczamy przykłady klas Fraïsségo ze słabą własnością
- Hrushovskiego i kanoniczną amalgamacją oraz charakteryzujemy ich granice
- oraz generyczny automorfizm.
+ W rozdziale \ref{section:preliminaries} wprowadzamy istotne pojęcia z deskryptywnej
+ teorii mnogości, teorii kategorii i udowadniamy twierdzenie Banacha-Mazura.
+ Rozdział \ref{section:fraisse_classes} poświęcony jest przedstawieniu klas
+ Fraïsségo oraz kanonicznej amalgamacji. W rozdziale \ref{section:conjugacy_classes}
+ udowadniamy kluczowe Twierdzenie \ref{theorem:key-theorem} przez wskazanie
+ konstrukcji generycznego automorfizmu granicy Fraïsségo klasy ze słabą
+ własnością Hrushovskiego oraz kanoniczną amalgamacją. W ostatnim rozdziale \ref{section:examples}
+ przytaczamy przykłady takich klas Fraïsségo.
\end{document}
diff --git a/sections/introduction.tex b/sections/introduction.tex
index 25b3358..caf4dc0 100644
--- a/sections/introduction.tex
+++ b/sections/introduction.tex
@@ -37,10 +37,13 @@
this by using the Banach-Mazur games, a well known method in the descriptive
set theory, which proves useful in the study of comeagre sets.
- Finally, we show how this construction of the generic automorphism can be
- used to deduce some properties of generic automorphisms
- (see \ref{corollary:fixed_points}). In the last section we give examples
+ In section \ref{section:preliminaries} we introduce important notions from
+ descriptive set theory and category theory and prove the Banach-Mazur theorem.
+ Section \ref{section:fraisse_classes} is devoted to Fraïssé classes
+ and describes canonical amalgamation. In section \ref{section:conjugacy_classes}
+ we prove the main Theorem \ref{theorem:key-theorem} by showing a construction
+ of generic automorphism of Fraïssé classes with WHP and canonical amalgamation.
+ Finally, in the section \ref{section:examples} we give examples
and anti-examples of Fraïssé classes with weak Hrushovski property and
- canonical amalgamation, characterize Fraïssé limits and generic automorphism
- of these classes.
+ canonical amalgamation.
\end{document}
diff --git a/stamp.sh b/stamp.sh
new file mode 100755
index 0000000..67cc848
--- /dev/null
+++ b/stamp.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+input=$1
+watermark=$2
+output=$3
+abl=/tmp/all_but_first.pdf
+first=/tmp/first.pdf
+first_stamped=/tmp/first_stamped.pdf
+
+# detach
+pdftk $1 cat 2-r1 output $abl
+pdftk $1 cat 1 output $first
+#Stamp
+pdftk $first stamp $watermark output $first_stamped
+#Attach
+pdftk $first_stamped $abl cat output $output