Josia Pietsch josia
1 Followers · 1 Following
Repositories Projects Packages Public Activity Starred Repositories
josia pushed to main at josia-notes/w23-logic-3 2024-02-08 15:23:33 +01:00
af5ccd6c33 maximal isometric extension
josia pushed to main at josia-notes/w23-logic-3 2024-02-08 00:26:38 +01:00
6d028bcfbd fixed typo
josia pushed to main at josia-notes/w23-logic-3 2024-02-07 23:28:36 +01:00
1e35e182cf fixed typo in gist
josia pushed to main at josia-notes/w23-logic-3 2024-02-07 23:22:05 +01:00
195ac2c378 fixed typo in gist
josia pushed to main at josia-notes/w23-logic-3 2024-02-07 22:48:59 +01:00
bc8b5a8b6c more gist
josia pushed to main at josia-notes/w23-logic-3 2024-02-07 19:44:26 +01:00
dd99d09b1c gist
josia pushed to main at josia-notes/w23-logic-3 2024-02-07 17:59:47 +01:00
4c0c7730f1 l21
josia pushed to main at josia-notes/w23-logic-3 2024-02-07 16:02:11 +01:00
82f0dfd4de fixed important typo
ffcd9cd45f Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
096906056e fixed typo
Compare 3 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-02-07 13:18:19 +01:00
d7809a884a some changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-07 02:05:26 +01:00
e887f46a5d some small changes
fbf52d882a Kuratowski-Ulam gist
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-02-06 22:13:40 +01:00
9d601c2e62 12.1, 12.2
josia pushed to main at josia-notes/w23-logic-3 2024-02-06 20:25:10 +01:00
5b34fb34d1 countable well-orders
josia pushed to main at josia-notes/w23-logic-3 2024-02-06 20:00:54 +01:00
e3dea569e8 fixed typo
josia pushed to main at josia-notes/w23-logic-3 2024-02-06 19:51:09 +01:00
227e2ac7b9 order / rank
josia pushed to main at josia-notes/w23-logic-3 2024-02-06 15:46:25 +01:00
8c3be56270 fixed typo
josia pushed to main at josia-notes/w23-logic-3 2024-02-06 15:14:04 +01:00
de2d240c5a more details
josia pushed to main at josia-notes/w23-logic-3 2024-02-06 15:09:20 +01:00
415ff41b60 Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
30701555de more details
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-02-06 01:46:59 +01:00
ba609dfed0 some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-05 23:37:08 +01:00
59d595f9ef some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-05 20:51:00 +01:00
6c2a76d838 improved lecture 17
f4d64527c4 fixed some typos; currying
Compare 2 commits »