Commit graph

Select branches

Hide pull requests

master

Mono Color

• 9956de5277
  
  yaref dependencies master Josia Pietsch 2024-02-16 23:28:14 +0100
• ab14be172f
  
  some small changes Josia Pietsch 2024-02-16 19:47:21 +0100
• c03b6fc0ef
  
  Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Josia Pietsch 2024-02-16 19:28:29 +0100
• 115aba1670
  
  remark on stationary sets, closedness of diagonal intersection Josia Pietsch 2024-02-16 19:28:21 +0100
• f4626be14b
  
  some changes Josia Pietsch 2024-02-15 04:44:48 +0100
• 858e017a4a
  
  gist complete Josia Pietsch 2024-02-14 23:19:23 +0100
• cac1563244
  
  silver gist Josia Pietsch 2024-02-14 18:44:32 +0100
• 515ff64ac6
  
  some small changes Josia Pietsch 2024-02-14 15:54:27 +0100
• 11f21af966
  
  thank you, Mirko! Josia Pietsch 2024-02-14 13:35:06 +0100
• deaf6a6bb6
  
  silver (unfinished gist) Josia Pietsch 2024-02-14 02:06:55 +0100
• ebdf929dd7
  
  some small changes, gist Josia Pietsch 2024-02-13 02:00:58 +0100
• b1b2a5974d
  
  some small changes Josia Pietsch 2024-02-11 02:43:20 +0100
• 3faf497be7
  
  exam Josia Pietsch 2024-02-01 17:56:53 +0100
• 326cca0e54
  
  lecture 23 Josia Pietsch 2024-01-25 15:35:02 +0100
• 11ca6cd6ae
  
  lecture 22 Josia Pietsch 2024-01-22 15:54:52 +0100
• 946da98a04
  
  lecture 21 Josia Pietsch 2024-01-18 15:43:47 +0100
• ca24c68790
  
  tutorial Josia Pietsch 2024-01-17 11:51:59 +0100
• 66d38de1ea
  
  updated proof on diagonal intersection Josia Pietsch 2024-01-16 00:10:27 +0100
• 3d9d71fbd3
  
  updated proof on diagonal intersection Josia Pietsch 2024-01-16 00:06:50 +0100
• 92a06d3a90
  
  lecture 20 Josia Pietsch 2024-01-15 15:47:41 +0100
• f20516fa8c
  
  lecture 20 Josia Pietsch 2024-01-15 15:47:24 +0100
• 9b625846ec
  
  19 Josia Pietsch 2024-01-13 03:50:51 +0100
• c56c961955
  
  lecture 18 Josia Pietsch 2024-01-10 22:52:45 +0100
• 1b02d7e7f3
  
  fixed numbers of lectures and failed merge Josia Pietsch 2024-01-10 22:30:24 +0100
• 8ce92917ed
  
  small changes Josia Pietsch 2024-01-10 22:22:28 +0100
• 73b8fb0dd1
  
  Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Josia Pietsch 2024-01-09 05:05:30 +0100
• d3436bbbdb
  
  fix small typo Josia Pietsch 2024-01-09 05:05:25 +0100
• 173015ffc9
  
  Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Josia Pietsch 2023-12-19 03:43:49 +0100
• 76cce468aa
  
  automatic commit jrpie-t490 Josia Pietsch 2023-12-19 03:43:49 +0100
• a2f5328287
  
  lecture 17 Josia Pietsch 2023-12-18 21:16:41 +0100
• 8995d116c0
  
  lecture 17 Josia Pietsch 2023-12-18 21:16:36 +0100
• 5ee9701949
  
  thank you! Josia Pietsch 2023-12-15 19:10:23 +0100
• 8eba654cdc
  
  thank you! Josia Pietsch 2023-12-15 19:03:29 +0100
• 8f00d7998b
  
  lecture 16 Josia Pietsch 2023-12-15 05:26:57 +0100
• 42af65da7a
  
  lecture 16 Josia Pietsch 2023-12-11 15:45:36 +0100
• ede97ee426
  
  lecture 15 Josia Pietsch 2023-12-07 15:54:40 +0100
• 68280c4b70
  
  typo Josia Pietsch 2023-12-04 16:07:22 +0100
• 2b1296255b
  
  Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Josia Pietsch 2023-12-04 15:46:40 +0100
• b26a6ae0ab
  
  lecture 14 Josia Pietsch 2023-12-04 15:46:30 +0100
• bc24bdab44
  
  Suggestions by Mirko (pages 1 - 18), thank you! Josia Pietsch 2023-12-03 02:50:36 +0100
• 97757443c4
  
  13 Josia Pietsch 2023-11-30 15:54:02 +0100
• 9a3359dfd0
  
  lecture 12 Josia Pietsch 2023-11-27 16:07:23 +0100
• e00a65122e
  
  lecture 10 Josia Pietsch 2023-11-24 19:31:00 +0100
• a844f91bc5
  
  lecture 10 Josia Pietsch 2023-11-24 19:07:12 +0100
• a8c758c5f0
  
  lecture 11 Josia Pietsch 2023-11-23 15:38:40 +0100
• 4fc85f8473
  
  lecture 11 Josia Pietsch 2023-11-23 15:38:28 +0100
• 6936663173
  
  lecture 09 Josia Pietsch 2023-11-16 15:38:46 +0100
• 32c8b3214b
  
  xspace Josia Pietsch 2023-11-14 23:13:39 +0100
• 26c32ce1bb
  
  small fixes Josia Pietsch 2023-11-13 20:28:21 +0100
• 64a348389b
  
  better ref for axioms Josia Pietsch 2023-11-13 20:21:51 +0100
• 0771440511
  
  some fixes Josia Pietsch 2023-11-13 19:42:48 +0100
• 883ee88516
  
  TODO Josia Pietsch 2023-11-13 15:52:38 +0100
• 37e521d4af
  
  lecture 08 Josia Pietsch 2023-11-13 15:50:08 +0100
• 54406f77ab
  
  Lecture 7 Josia Pietsch 2023-11-09 15:44:04 +0100
• a6465aea45
  
  lecture 6 Josia Pietsch 2023-11-06 16:22:31 +0100
• e7baf0832b
  
  small changes Josia Pietsch 2023-11-05 03:16:40 +0100
• 430ad82e8b
  
  lecture 04 Josia Pietsch 2023-11-05 00:50:26 +0100
• 340e034fdf
  
  lecture 4 Josia Pietsch 2023-11-04 23:28:39 +0100
• ab3a4b7556
  
  lecture 06 Josia Pietsch 2023-10-31 20:16:15 +0100
• c787dd2b51
  
  lecture 5 Josia Pietsch 2023-10-30 15:52:49 +0100
• 10313b35f1
  
  Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Josia Pietsch 2023-10-25 15:37:34 +0200
• 5f1f4c9fe9
  
  fix Josia Pietsch 2023-10-25 15:37:22 +0200
• b5e2d09090
  
  small fix Josia Pietsch 2023-10-24 10:51:01 +0200
• fb2c5b2715
  
  fixed label Josia Pietsch 2023-10-24 10:48:41 +0200
• 4a27324442
  
  fixed label Josia Pietsch 2023-10-24 10:34:43 +0200
• 1860f988c2
  
  lecture 03 Josia Pietsch 2023-10-23 23:45:24 +0200
• ad39e2ac6d
  
  03 beginning Josia Pietsch 2023-10-23 22:43:31 +0200
• f7bd6359bd
  
  lecture 02 Josia Pietsch 2023-10-23 11:44:15 +0200
• 5f5de21d3d
  
  updated README.md Josia Pietsch 2023-10-21 15:38:20 +0200
• a7c18aa973
  
  fixed ci Josia Pietsch 2023-10-17 23:48:12 +0200
• 1306c62e93
  
  add readme to pages Josia Pietsch 2023-10-17 23:43:24 +0200
• 513c04095e
  
  gitea ci Josia Pietsch 2023-10-17 21:06:56 +0200
• 5de1db2631
  
  gitea ci Josia Pietsch 2023-10-17 21:03:49 +0200
• 2d912c7f87
  
  lecture 1 Josia Pietsch 2023-10-16 16:51:42 +0200
• 535bfd1b37
  
  initial commit Josia Pietsch 2023-10-16 16:24:38 +0200