Commit graph

103 commits

Author SHA1 Message Date
e962b1a314
thank you, Mirko!
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m20s
2024-01-09 23:03:24 +01:00
cf5a26ec93
lecture 20 2024-01-09 22:49:22 +01:00
e7a325bac8
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 2024-01-09 20:24:24 +01:00
62fcb59f94
tutorial 10 2024-01-09 20:23:57 +01:00
324dddda04
Sheet 9, exercise 4
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m48s
2024-01-06 19:04:51 +01:00
8ff3cadebd
small fix
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m3s
2024-01-05 17:43:25 +01:00
99ca39e52c
lecture 18, 19
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m57s
2024-01-04 19:26:34 +01:00
0fb9ea8ffb
exercise 1.4b 2024-01-04 14:59:44 +01:00
c3948b12ec
tutorial 10
All checks were successful
Build latex and deploy / checkout (push) Successful in 2m33s
2023-12-19 17:39:37 +01:00
aa7f3de504
lecture 10
Some checks failed
Build latex and deploy / checkout (push) Failing after 50s
2023-12-19 13:37:02 +01:00
d5930d6a43
small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m19s
2023-12-14 00:50:44 +01:00
5de0726c3c
tutorial 09
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m51s
2023-12-12 13:31:59 +01:00
de4897f59a
lecture 17
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m17s
2023-12-12 12:10:37 +01:00
ca0594ea69
lecture 16
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m6s
2023-12-09 18:23:59 +01:00
ab088dd877
moved definitions
Some checks failed
Build latex and deploy / checkout (push) Failing after 12m42s
2023-12-09 02:29:22 +01:00
e203c901e1
lecture 16
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m0s
2023-12-08 16:57:51 +01:00
da2f702604
moved definition
Some checks failed
Build latex and deploy / checkout (push) Failing after 14m8s
2023-12-08 02:02:59 +01:00
c59fdb1c9d
definition group action
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2023-12-08 02:00:43 +01:00
c1316d8bb5
fixed typos
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m3s
2023-12-08 01:42:08 +01:00
daec11591d
lecture 15
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2023-12-08 01:39:20 +01:00
0a46981e53
countable clopen base
Some checks failed
Build latex and deploy / checkout (push) Failing after 14m43s
2023-12-06 13:57:23 +01:00
8038e2baeb
tutorial
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m34s
2023-12-05 18:13:30 +01:00
9a6205136a
tutorials 2023-12-05 17:14:51 +01:00
a738dabfc6
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m4s
2023-12-05 17:14:48 +01:00
b7671057ca
tutorial 2023-12-05 17:14:40 +01:00
6a9c2956b7
small fix
All checks were successful
Build latex and deploy / checkout (push) Successful in 2m6s
2023-12-05 01:54:56 +01:00
0612713145
lecture 14
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2023-12-01 11:58:27 +01:00
ae3510a631
tutorial 06
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m55s
2023-11-28 13:53:40 +01:00
a0c5bbad0b
13
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m37s
2023-11-28 11:58:58 +01:00
79aeee590b
fixed typo
Some checks failed
Build latex and deploy / checkout (push) Failing after 14m8s
2023-11-24 19:58:19 +01:00
f94d019d5e
lecture 12
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m28s
2023-11-24 11:53:57 +01:00
ea31fcac63
tutorial
Some checks failed
Build latex and deploy / checkout (push) Failing after 12m22s
2023-11-21 13:25:01 +01:00
eb87abe472
lecture 11
Some checks failed
Build latex and deploy / checkout (push) Failing after 12m40s
2023-11-21 12:34:38 +01:00
820f756bd4
lecture 10
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m37s
2023-11-17 15:00:39 +01:00
377dc4aebb
tutorial 04
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m7s
2023-11-14 13:22:05 +01:00
0d6d392d5d
lecture 09
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m30s
2023-11-14 11:53:30 +01:00
bfcb894c89
lecture 08
Some checks failed
Build latex and deploy / checkout (push) Failing after 12m9s
2023-11-13 00:23:51 +01:00
d001b56d71
lecture 6
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m39s
2023-11-03 11:55:11 +01:00
da66c24763
tutorial 03
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m43s
2023-10-31 20:15:15 +01:00
0b659968db
lecture 05 2023-10-31 11:53:03 +01:00
7478dfd30d
tutorial 02 2023-10-31 10:12:58 +01:00
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
3bb3c4e75d
lecture 4 2023-10-20 11:53:35 +02:00
b636d722d4
Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory 2023-10-19 20:18:40 +02:00
fa19ca3b6e
small change 2023-10-19 20:18:32 +02:00
1713fec189
small changes 2023-10-19 17:08:56 +02:00
a7c3cd0d3b
tutorial 1 2023-10-19 16:59:53 +02:00
6961c2d5f0
lecture 02 fixed proof of 'polish subspace of polish space is G_delta' 2023-10-17 18:25:37 +02:00
66b7b06200
Lecture 03 2023-10-17 16:21:02 +02:00
00cf1a93e7
Lecture 3 2023-10-17 13:08:17 +02:00
394cc8ddcf
Lecture 3 2023-10-17 11:56:32 +02:00
8359683da6
initial commit 2023-10-13 23:54:02 +02:00
503e91edfe
initial commit 2023-10-13 23:33:24 +02:00