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.
  • TeX 94.4%
  • Shell 3.8%
  • Makefile 1.8%
Find a file
Repository files (latest commit first)
Filename Latest commit message Latest commit date
2023-10-20 11:53:40 +02:00
.ci
inputs
LatexPackagesBuild@400daf229c
.gitignore
.gitlab-ci.yml
.gitmodules
.latexmkrc
export_texinputs.sh
jrpie-math.sty
jrpie-yaref.sty
logic.sty
logic3.tex
Makefile
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.