| Wed, 03 Jul 2024 11:44:58 +0900 |
Shinji KONO |
safe rewriting nearly finished
|
| Tue, 18 May 2021 15:38:46 +0900 |
Shinji KONO |
Topos Sets char-iso done
|
| Tue, 18 May 2021 01:06:43 +0900 |
Shinji KONO |
iso-char in Sets Topos
|
| Sun, 09 May 2021 17:09:21 +0900 |
Shinji KONO |
...
|
| Sun, 09 May 2021 16:52:27 +0900 |
Shinji KONO |
fix topos char iso
|
| Sat, 08 May 2021 10:04:34 +0900 |
Shinji KONO |
char-cong
|
| Thu, 29 Apr 2021 11:16:18 +0900 |
Shinji KONO |
fix 1
|
| Wed, 31 Mar 2021 15:58:02 +0900 |
Shinji KONO |
...
|
| Tue, 30 Mar 2021 23:30:55 +0900 |
Shinji KONO |
topos of Sets done
sets-topos
|
| Tue, 30 Mar 2021 20:22:20 +0900 |
Shinji KONO |
Sets Topos iso1 done
|
| Tue, 30 Mar 2021 17:58:55 +0900 |
Shinji KONO |
...
|
| Tue, 30 Mar 2021 16:03:44 +0900 |
Shinji KONO |
...
|
| Tue, 30 Mar 2021 15:20:08 +0900 |
Shinji KONO |
...
|
| Mon, 29 Mar 2021 21:57:12 +0900 |
Shinji KONO |
...
|
| Mon, 29 Mar 2021 21:25:32 +0900 |
Shinji KONO |
...
|
| Mon, 29 Mar 2021 19:55:41 +0900 |
Shinji KONO |
...
|
| Sun, 28 Mar 2021 08:11:58 +0900 |
Shinji KONO |
fix comment
|
| Sat, 27 Mar 2021 22:52:43 +0900 |
Shinji KONO |
using Bool and LEM
|
| Sat, 27 Mar 2021 21:21:24 +0900 |
Shinji KONO |
...
|
| Sat, 27 Mar 2021 13:17:37 +0900 |
Shinji KONO |
... use LEM for Topos Sets
|
| Sat, 27 Mar 2021 08:53:04 +0900 |
Shinji KONO |
...
|
| Thu, 25 Mar 2021 14:23:51 +0900 |
Shinji KONO |
...
|
| Wed, 24 Mar 2021 23:15:22 +0900 |
Shinji KONO |
...
|
| Tue, 23 Mar 2021 14:41:47 +0900 |
Shinji KONO |
...
|
| Sat, 20 Mar 2021 13:01:16 +0900 |
Shinji KONO |
...
|
| Mon, 08 Mar 2021 08:25:30 +0900 |
Shinji KONO |
separate CCCSets
|
