| Mon, 15 Jul 2019 09:31:32 +0900 |
Shinji KONO |
infinite continue...
|
| Sun, 14 Jul 2019 17:26:57 +0900 |
Shinji KONO |
Union trans finite
|
| Sun, 14 Jul 2019 08:04:16 +0900 |
Shinji KONO |
explict logical definition of Union failed
|
| Thu, 11 Jul 2019 20:00:30 +0900 |
Shinji KONO |
differeent Union approach
|
| Thu, 11 Jul 2019 07:32:28 +0900 |
Shinji KONO |
union continue
|
| Wed, 10 Jul 2019 11:50:26 +0900 |
Shinji KONO |
union trying ..
|
| Wed, 10 Jul 2019 06:52:00 +0900 |
Shinji KONO |
union continue ...
|
| Tue, 09 Jul 2019 17:46:45 +0900 |
Shinji KONO |
power set
|
| Tue, 09 Jul 2019 09:56:38 +0900 |
Shinji KONO |
recovering...
|
| Mon, 08 Jul 2019 22:37:10 +0900 |
Shinji KONO |
fix some
|
| Mon, 08 Jul 2019 19:48:47 +0900 |
Shinji KONO |
only ordinal-definable.agda is finished. it assmues all ZF Set are Ordinals.
release
|
| Mon, 08 Jul 2019 19:45:59 +0900 |
Shinji KONO |
give up
|
| Mon, 08 Jul 2019 19:35:23 +0900 |
Shinji KONO |
...
|
| Mon, 08 Jul 2019 18:26:33 +0900 |
Shinji KONO |
ord-Ord causes od→ord x o< od→ord y → y ∋ x,
|
| Mon, 08 Jul 2019 18:19:56 +0900 |
Shinji KONO |
all done but ...
|
