Commit graph

Select branches

Hide pull requests

main

Mono Color

• 0fb9ea8ffb
  
  exercise 1.4b Josia Pietsch 2024-01-04 14:59:44 +0100
• c3948b12ec
  
  tutorial 10 Josia Pietsch 2023-12-19 17:39:37 +0100
• aa7f3de504
  
  lecture 10 Josia Pietsch 2023-12-19 13:37:02 +0100
• d5930d6a43
  
  small changes Josia Pietsch 2023-12-14 00:50:44 +0100
• 5de0726c3c
  
  tutorial 09 Josia Pietsch 2023-12-12 13:31:59 +0100
• de4897f59a
  
  lecture 17 Josia Pietsch 2023-12-12 12:10:37 +0100
• ca0594ea69
  
  lecture 16 Josia Pietsch 2023-12-09 18:23:59 +0100
• ab088dd877
  
  moved definitions Josia Pietsch 2023-12-09 02:29:22 +0100
• e203c901e1
  
  lecture 16 Josia Pietsch 2023-12-08 16:57:51 +0100
• da2f702604
  
  moved definition Josia Pietsch 2023-12-08 02:02:59 +0100
• c59fdb1c9d
  
  definition group action Josia Pietsch 2023-12-08 02:00:43 +0100
• f0bab3e1ac
  
  removed junk Josia Pietsch 2023-12-08 01:55:13 +0100
• c1316d8bb5
  
  fixed typos Josia Pietsch 2023-12-08 01:42:08 +0100
• daec11591d
  
  lecture 15 Josia Pietsch 2023-12-08 01:39:20 +0100
• 0a46981e53
  
  countable clopen base Josia Pietsch 2023-12-06 13:57:23 +0100
• 8038e2baeb
  
  tutorial Josia Pietsch 2023-12-05 18:13:30 +0100
• 9a6205136a
  
  tutorials Josia Pietsch 2023-12-05 17:14:51 +0100
• a738dabfc6
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2023-12-05 17:14:48 +0100
• b7671057ca
  
  tutorial Josia Pietsch 2023-12-05 17:14:40 +0100
• 6a9c2956b7
  
  small fix Josia Pietsch 2023-12-05 01:54:56 +0100
• 0612713145
  
  lecture 14 Josia Pietsch 2023-12-01 11:58:27 +0100
• ae3510a631
  
  tutorial 06 Josia Pietsch 2023-11-28 13:53:40 +0100
• a0c5bbad0b
  
  13 Josia Pietsch 2023-11-28 11:58:58 +0100
• 79aeee590b
  
  fixed typo Josia Pietsch 2023-11-24 19:58:19 +0100
• f94d019d5e
  
  lecture 12 Josia Pietsch 2023-11-24 11:53:57 +0100
• ea31fcac63
  
  tutorial Josia Pietsch 2023-11-21 13:25:01 +0100
• eb87abe472
  
  lecture 11 Josia Pietsch 2023-11-21 12:34:38 +0100
• 820f756bd4
  
  lecture 10 Josia Pietsch 2023-11-17 15:00:39 +0100
• 377dc4aebb
  
  tutorial 04 Josia Pietsch 2023-11-14 13:22:05 +0100
• 0d6d392d5d
  
  lecture 09 Josia Pietsch 2023-11-14 11:53:30 +0100
• bfcb894c89
  
  lecture 08 Josia Pietsch 2023-11-13 00:23:51 +0100
• d001b56d71
  
  lecture 6 Josia Pietsch 2023-11-03 11:55:11 +0100
• da66c24763
  
  tutorial 03 Josia Pietsch 2023-10-31 20:15:15 +0100
• 6c3d59bfde
  
  Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 Josia Pietsch 2023-10-31 11:53:07 +0100
• 0b659968db
  
  lecture 05 Josia Pietsch 2023-10-31 11:53:03 +0100
• 7478dfd30d
  
  tutorial 02 Josia Pietsch 2023-10-31 10:12:58 +0100
• 41be223621
  
  added CI Josia Pietsch 2023-10-21 15:02:05 +0200
• f838245711
  
  Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory Josia Pietsch 2023-10-20 11:53:40 +0200
• 3bb3c4e75d
  
  lecture 4 Josia Pietsch 2023-10-20 11:53:35 +0200
• b636d722d4
  
  Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory Josia Pietsch 2023-10-19 20:18:40 +0200
• fa19ca3b6e
  
  small change Josia Pietsch 2023-10-19 20:18:32 +0200
• 1713fec189
  
  small changes Josia Pietsch 2023-10-19 17:08:56 +0200
• a7c3cd0d3b
  
  tutorial 1 Josia Pietsch 2023-10-19 16:59:53 +0200
• 6961c2d5f0
  
  lecture 02 fixed proof of 'polish subspace of polish space is G_delta' Josia Pietsch 2023-10-17 18:25:37 +0200
• 66b7b06200
  
  Lecture 03 Josia Pietsch 2023-10-17 16:21:02 +0200
• 00cf1a93e7
  
  Lecture 3 Josia Pietsch 2023-10-17 13:08:17 +0200
• 394cc8ddcf
  
  Lecture 3 Josia Pietsch 2023-10-17 11:56:32 +0200
• 73eb4f1645
  
  set language to english Josia Pietsch 2023-10-14 00:04:27 +0200
• 8359683da6
  
  initial commit Josia Pietsch 2023-10-13 23:54:02 +0200
• 503e91edfe
  
  initial commit Josia Pietsch 2023-10-13 23:33:24 +0200