jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Moved to https://git.abstractnonsen.se/josia-notes/w23-logic-3
This repository has been archived on 2023-10-20. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
13 commits 1 branch 0 tags 91 KiB
Find a file
Exact
Josia Pietsch f838245711
 Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory
2023-10-20 11:53:40 +02:00
.ci initial commit 2023-10-13 23:33:24 +02:00
inputs Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory 2023-10-20 11:53:40 +02:00
LatexPackagesBuild@400daf229c initial commit 2023-10-13 23:33:24 +02:00
.gitignore initial commit 2023-10-13 23:33:24 +02:00
.gitlab-ci.yml initial commit 2023-10-13 23:33:24 +02:00
.gitmodules initial commit 2023-10-13 23:33:24 +02:00
.latexmkrc initial commit 2023-10-13 23:33:24 +02:00
export_texinputs.sh initial commit 2023-10-13 23:33:24 +02:00
jrpie-math.sty lecture 4 2023-10-20 11:53:35 +02:00
jrpie-yaref.sty initial commit 2023-10-13 23:33:24 +02:00
logic.sty Lecture 3 2023-10-17 11:56:32 +02:00
logic3.tex lecture 4 2023-10-20 11:53:35 +02:00
Makefile initial commit 2023-10-13 23:33:24 +02:00
README.md initial commit 2023-10-13 23:54:02 +02:00

README.md

Logic 3: Abstract Topological Dynamics and Descriptive Set Theory

These are my notes on the lecture Logic 3: Abstract Topological Dynamics and Descriptive Set Theory, taught by Aleksandra Kwiatkowska in the winter 23/24 at the University Münster.

This is not an official script.

There are probably some errors. If you find some of them or want to improve something, please send me a message: lecturenotes@jrpie.de

The latest version is available on my website.

This project relies on the excellent Latex Packages by Maximilian Keßler as well as his CI-Pipeline. Also check out this blogpost by Gilles Castel, explaining how it is possible to write LaTeX fast enough to keep up with a lecturer.