From 0a14244eb3c2a896b8d90f7fa40cea7197674334 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Tue, 23 Jan 2024 20:56:14 +0100
Subject: [PATCH] gist intro

---
 inputs/intro.tex       | 16 +++++++++++++++-
 inputs/tutorial_13.tex |  1 +
 2 files changed, 16 insertions(+), 1 deletion(-)

diff --git a/inputs/intro.tex b/inputs/intro.tex
index 9b141c8..b661dfb 100644
--- a/inputs/intro.tex
+++ b/inputs/intro.tex
@@ -1,4 +1,6 @@
-These are my notes on the lecture Probability Theory,
+\gist{%
+These are my notes on the lecture
+Logic 3: Abstract Topological Dynamics and Descriptive Set Theory
 taught by \textsc{Aleksandra Kwiatkowska}
 in the summer term 2023 at the University Münster.
 
@@ -18,3 +20,15 @@ I could not attend!
 This notes follow the way the material was presented in the lecture rather
 closely. Additions (e.g.~from exercise sheets)
 and slight modifications have been marked with $\dagger$.
+}{
+    This document aims to give a very brief summary of
+    my \href{https://josia-notes.users.abstractnonsen.se/w23-logic-3/logic3.pdf}{notes on the course Logic 3}.
+    I try to omit most technical details and only summarize the most important
+    ideas.
+
+    Note that this is currently work in progress.
+    Currently the differences to the original document are only
+    minor (this is still mostly a technical test),
+    but this document will get shorter as I work through
+    and summarize it.
+}
diff --git a/inputs/tutorial_13.tex b/inputs/tutorial_13.tex
index 30e78c4..1160d1c 100644
--- a/inputs/tutorial_13.tex
+++ b/inputs/tutorial_13.tex
@@ -2,6 +2,7 @@
 
 
 Continuation of sheet 8, exercise 4.
+ % Whiteboard https://wbo.ophir.dev/boards/Dphc7eylJJcIA0WbQsn7jzec1domqyx51gXb5qe6rzw-#263,0,0.5
 
 \begin{definition}
     Let $X$ be a compact metric space.