Commit graph

Select branches

Hide pull requests

main

Mono Color

• 76fb9b562f
  
  fixed error main Josia Pietsch 2024-04-24 13:18:59 +0200
• a0cc70cadf
  
  fixed error Josia Pietsch 2024-04-24 13:01:59 +0200
• bbb891594c
  
  small fix Josia Pietsch 2024-02-12 19:14:38 +0100
• 3df55b6516
  
  some small changes Josia Pietsch 2024-02-10 05:20:35 +0100
• 6c5eda59e4
  
  fixed some typesetting problems Josia Pietsch 2024-02-09 20:43:19 +0100
• 458dd9ab1f
  
  fixed some typesetting problems Josia Pietsch 2024-02-09 20:23:05 +0100
• dcf4851177
  
  removed junk Josia Pietsch 2024-02-08 18:15:11 +0100
• 4d1690088f
  
  fixed typo Josia Pietsch 2024-02-08 18:11:45 +0100
• de89e2dc1d
  
  some changes Josia Pietsch 2024-02-08 17:31:10 +0100
• 1d96095f62
  
  more details Josia Pietsch 2024-02-08 15:37:08 +0100
• 15c9ff10ea
  
  picture Josia Pietsch 2024-02-08 15:31:30 +0100
• af5ccd6c33
  
  maximal isometric extension Josia Pietsch 2024-02-08 15:23:21 +0100
• 6d028bcfbd
  
  fixed typo Josia Pietsch 2024-02-08 00:26:33 +0100
• 1e35e182cf
  
  fixed typo in gist Josia Pietsch 2024-02-07 23:28:29 +0100
• 195ac2c378
  
  fixed typo in gist Josia Pietsch 2024-02-07 23:22:00 +0100
• bc8b5a8b6c
  
  more gist Josia Pietsch 2024-02-07 22:48:53 +0100
• dd99d09b1c
  
  gist Josia Pietsch 2024-02-07 19:44:21 +0100
• 4c0c7730f1
  
  l21 Josia Pietsch 2024-02-07 18:02:05 +0100
• 82f0dfd4de
  
  fixed important typo Josia Pietsch 2024-02-07 16:04:28 +0100
• ffcd9cd45f
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2024-02-07 16:03:42 +0100
• 096906056e
  
  fixed typo Josia Pietsch 2024-02-07 16:03:39 +0100
• d7809a884a
  
  some changes Josia Pietsch 2024-02-07 13:18:14 +0100
• e887f46a5d
  
  some small changes Josia Pietsch 2024-02-07 02:05:20 +0100
• fbf52d882a
  
  Kuratowski-Ulam gist Josia Pietsch 2024-02-06 23:59:07 +0100
• 9d601c2e62
  
  12.1, 12.2 Josia Pietsch 2024-02-06 22:13:34 +0100
• 5b34fb34d1
  
  countable well-orders Josia Pietsch 2024-02-06 20:25:05 +0100
• e3dea569e8
  
  fixed typo Josia Pietsch 2024-02-06 20:00:49 +0100
• 227e2ac7b9
  
  order / rank Josia Pietsch 2024-02-06 19:51:03 +0100
• 8c3be56270
  
  fixed typo Josia Pietsch 2024-02-06 15:48:39 +0100
• de2d240c5a
  
  more details Josia Pietsch 2024-02-06 15:16:20 +0100
• 415ff41b60
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2024-02-06 15:11:38 +0100
• 30701555de
  
  more details Josia Pietsch 2024-02-06 15:11:31 +0100
• ba609dfed0
  
  some small changes Josia Pietsch 2024-02-06 01:46:55 +0100
• 59d595f9ef
  
  some small changes Josia Pietsch 2024-02-05 23:36:57 +0100
• 6c2a76d838
  
  improved lecture 17 Josia Pietsch 2024-02-05 20:30:13 +0100
• f4d64527c4
  
  fixed some typos; currying Josia Pietsch 2024-02-05 15:07:13 +0100
• c9212aefdd
  
  some small changes Josia Pietsch 2024-02-05 02:14:32 +0100
• dfd9be7925
  
  reference to sheet 11 Josia Pietsch 2024-02-04 13:38:53 +0100
• 236874b1a5
  
  some small changes Josia Pietsch 2024-02-04 01:36:10 +0100
• 24ed36d0a7
  
  some small changes Josia Pietsch 2024-02-04 01:13:14 +0100
• 24aca6746f
  
  email about exam (2024-01-22) Josia Pietsch 2024-02-04 00:46:31 +0100
• 6670dfbf6f
  
  some changes Josia Pietsch 2024-02-04 00:40:13 +0100
• 7746866373
  
  ultrafilter limit Josia Pietsch 2024-02-03 02:02:09 +0100
• 93976c4821
  
  lecture 27 Josia Pietsch 2024-02-02 12:54:46 +0100
• 9a244692b1
  
  lecture 27 Josia Pietsch 2024-02-02 12:53:02 +0100
• 7ec05540ef
  
  some small changes Josia Pietsch 2024-02-02 02:01:12 +0100
• 37f81861df
  
  some small changes Josia Pietsch 2024-02-02 01:59:54 +0100
• 1cc501fbe3
  
  merge Josia Pietsch 2024-02-02 01:54:45 +0100
• 5ed13d630f
  
  additional tutorial Josia Pietsch 2024-02-02 01:48:47 +0100
• a4ac283146
  
  some changes on lectures 14 / 15 Josia Pietsch 2024-02-02 01:48:02 +0100
• 8913d34435
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2024-02-01 18:28:01 +0100
• 53577d9b57
  
  tutorial 14 Josia Pietsch 2024-01-30 18:50:21 +0100
• 8c1cdc3587
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2024-01-30 17:56:20 +0100
• 41fe970a0b
  
  lecture 26 Josia Pietsch 2024-01-30 12:10:16 +0100
• d17e25f4d0
  
  lecture 26 Josia Pietsch 2024-01-30 11:55:30 +0100
• de8e41de83
  
  fixed typo Josia Pietsch 2024-01-29 19:19:13 +0100
• 8f86b71d92
  
  lecture 25 Josia Pietsch 2024-01-26 11:58:57 +0100
• ef3b65edbd
  
  some fix for some problem Josia Pietsch 2024-01-25 20:25:21 +0100
• d22cc2f282
  
  14 Josia Pietsch 2024-01-25 20:18:46 +0100
• c03a62f638
  
  gist for lecture 13 Josia Pietsch 2024-01-25 14:01:05 +0100
• 67a851748e
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2024-01-25 12:38:55 +0100
• 0f4328f0d1
  
  small changes Josia Pietsch 2024-01-25 12:38:52 +0100
• f7f9d7d638
  
  some changes Josia Pietsch 2024-01-24 23:13:56 +0100
• e59e97ca03
  
  fix Josia Pietsch 2024-01-24 16:06:42 +0100
• acb56df1c2
  
  gist 12 Josia Pietsch 2024-01-24 15:35:14 +0100
• 3917993d93
  
  some small changes Josia Pietsch 2024-01-24 00:13:59 +0100
• 0cceab0af9
  
  some small changes Josia Pietsch 2024-01-23 22:07:45 +0100
• 68a7e9d428
  
  fixed typo Josia Pietsch 2024-01-23 21:55:41 +0100
• c986475c77
  
  gist for lectures 1-4 Josia Pietsch 2024-01-23 21:52:45 +0100
• 0a14244eb3
  
  gist intro Josia Pietsch 2024-01-23 20:56:14 +0100
• 09658bbcb5
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2024-01-23 14:29:32 +0100
• 4d3e3c2a49
  
  tutorial 13 Josia Pietsch 2024-01-23 14:29:27 +0100
• 8f800b4403
  
  Homework Josia Pietsch 2024-01-23 10:57:14 +0100
• 6777bf60ee
  
  lecture 24 Josia Pietsch 2024-01-23 10:56:16 +0100
• 5beffa0067
  
  test gist Josia Pietsch 2024-01-22 23:15:32 +0100
• 415d12cf6a
  
  gist test Josia Pietsch 2024-01-22 17:37:13 +0100
• a04a4468b0
  
  lecture 23 Josia Pietsch 2024-01-19 11:56:29 +0100
• 195f28869b
  
  lecture 23 Josia Pietsch 2024-01-19 11:53:27 +0100
• 4b9bbd2ef0
  
  lecture 23 Josia Pietsch 2024-01-19 11:53:11 +0100
• 206b61941e
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2024-01-18 17:17:33 +0100
• 14cc41cea5
  
  some small changes Josia Pietsch 2024-01-18 17:17:27 +0100
• 56f36dd553
  
  automatic commit jrpie-PC Josia Pietsch 2024-01-17 01:15:13 +0100
• 5dc9e52fc5
  
  sheet 11 Josia Pietsch 2024-01-17 00:00:40 +0100
• 2cf18169c2
  
  sheet 11 Josia Pietsch 2024-01-16 23:59:47 +0100
• f074e8841b
  
  tutorial 12 Josia Pietsch 2024-01-16 23:14:56 +0100
• b0a943abb1
  
  fixed typo Josia Pietsch 2024-01-16 12:07:34 +0100
• 11cdecd1da
  
  22 Josia Pietsch 2024-01-16 12:04:17 +0100
• bcec8f96de
  
  lecture 21 Josia Pietsch 2024-01-15 23:27:19 +0100
• 957c9d9712
  
  lecture 21 Josia Pietsch 2024-01-15 23:27:08 +0100
• 82f44e36e8
  
  FIXED IMPORTANT TYPO! & small changes Josia Pietsch 2024-01-13 23:42:59 +0100
• fc4f57a8b0
  
  small changes Josia Pietsch 2024-01-12 01:44:05 +0100
• 72025f8ea8
  
  clopenization Josia Pietsch 2024-01-12 01:31:12 +0100
• ebf7add005
  
  some changes Josia Pietsch 2024-01-11 23:57:43 +0100
• e962b1a314
  
  thank you, Mirko! Josia Pietsch 2024-01-09 23:03:24 +0100
• cf5a26ec93
  
  lecture 20 Josia Pietsch 2024-01-09 22:49:22 +0100
• e7a325bac8
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2024-01-09 20:24:24 +0100
• 62fcb59f94
  
  tutorial 10 Josia Pietsch 2024-01-09 20:23:57 +0100
• 324dddda04
  
  Sheet 9, exercise 4 Josia Pietsch 2024-01-06 19:04:51 +0100
• 8ff3cadebd
  
  small fix Josia Pietsch 2024-01-05 17:43:25 +0100
• 99ca39e52c
  
  lecture 18, 19 Josia Pietsch 2024-01-04 19:26:34 +0100