Wed, 22 May 2019 11:52:49 +0900 |
Shinji KONO |
fix oridinal
|
Tue, 21 May 2019 00:30:01 +0900 |
Shinji KONO |
problem on Ordinal ( OSuc ℵ )
|
Mon, 20 May 2019 18:18:43 +0900 |
Shinji KONO |
posturate OD is isomorphic to Ordinal
|
Sat, 18 May 2019 08:29:08 +0900 |
Shinji KONO |
Sup
|
Thu, 16 May 2019 10:55:34 +0900 |
Shinji KONO |
fix
|
Tue, 14 May 2019 03:38:26 +0900 |
Shinji KONO |
separete constructible set
|
Tue, 14 May 2019 00:23:30 +0900 |
Shinji KONO |
dead end
|
Mon, 13 May 2019 20:51:45 +0900 |
Shinji KONO |
...
|
Mon, 13 May 2019 18:25:38 +0900 |
Shinji KONO |
add constructible set
|
Sun, 12 May 2019 21:18:38 +0900 |
Shinji KONO |
try to fix axiom of replacement
|
Sun, 12 May 2019 11:08:17 +0900 |
Shinji KONO |
fix
|
Sat, 11 May 2019 19:14:16 +0900 |
Shinji KONO |
...
|
Sat, 11 May 2019 11:40:31 +0900 |
Shinji KONO |
isEquiv and isZF
|
Sat, 11 May 2019 11:10:53 +0900 |
Shinji KONO |
...
|
Sat, 11 May 2019 10:47:23 +0900 |
Shinji KONO |
reocrd ZF
|