log ordinal.agda @ 324:fbabb20f222e

age author description
Sat, 04 Jul 2020 18:18:17 +0900 Shinji KONO ...
Sat, 09 May 2020 09:02:52 +0900 Shinji KONO separate choice
Mon, 30 Dec 2019 23:45:59 +0900 Shinji KONO fix incl
Sun, 06 Oct 2019 16:42:42 +0900 Shinji KONO disjunction and conjunction
Mon, 23 Sep 2019 10:43:48 +0900 Shinji KONO ...
Mon, 23 Sep 2019 09:16:39 +0900 Shinji KONO ...
Sun, 22 Sep 2019 20:26:32 +0900 Shinji KONO CH trying ...
Tue, 17 Sep 2019 09:29:27 +0900 Shinji KONO ε-induction from TransFinite induction
Sun, 25 Aug 2019 18:44:41 +0900 Shinji KONO ...
Fri, 16 Aug 2019 15:53:29 +0900 Shinji KONO ...
Tue, 13 Aug 2019 22:21:10 +0900 Shinji KONO ac from LEM in abstract ordinal
Sat, 10 Aug 2019 12:31:25 +0900 Shinji KONO recover ε-induction
Fri, 09 Aug 2019 16:54:30 +0900 Shinji KONO TransFinite induction fixed
Wed, 07 Aug 2019 10:28:33 +0900 Shinji KONO try to separate Ordinals
Tue, 06 Aug 2019 15:50:14 +0900 Shinji KONO try func
Fri, 02 Aug 2019 12:17:10 +0900 Shinji KONO separate logic and nat
Wed, 31 Jul 2019 15:29:51 +0900 Shinji KONO Transfinite induction fixed
Wed, 31 Jul 2019 12:40:02 +0900 Shinji KONO fixing transfinte induction...
Tue, 30 Jul 2019 17:52:15 +0900 Shinji KONO ε-induction like loop again
Mon, 22 Jul 2019 17:31:52 +0900 Shinji KONO ...
Sun, 21 Jul 2019 17:56:12 +0900 Shinji KONO fix zf
Sat, 20 Jul 2019 14:05:32 +0900 Shinji KONO new ordinal-definable
Thu, 18 Jul 2019 16:06:41 +0900 Shinji KONO ...
Wed, 17 Jul 2019 10:52:31 +0900 Shinji KONO use double negation
Tue, 16 Jul 2019 09:57:01 +0900 Shinji KONO minor fix
Sun, 14 Jul 2019 17:26:57 +0900 Shinji KONO Union trans finite
Mon, 08 Jul 2019 19:35:23 +0900 Shinji KONO ...
Mon, 08 Jul 2019 13:21:14 +0900 Shinji KONO Union again
Mon, 08 Jul 2019 12:13:19 +0900 Shinji KONO Power Set
Tue, 02 Jul 2019 09:28:26 +0900 Shinji KONO ord power set
Mon, 01 Jul 2019 16:03:15 +0900 Shinji KONO ...
Tue, 25 Jun 2019 16:04:31 +0900 Shinji KONO ...
Thu, 20 Jun 2019 13:18:18 +0900 Shinji KONO ...
Sun, 09 Jun 2019 19:41:53 +0900 Shinji KONO power set using sup on Def
Sat, 08 Jun 2019 13:18:10 +0900 Shinji KONO ...
Wed, 05 Jun 2019 18:24:32 +0900 Shinji KONO infinity axiom done
Wed, 05 Jun 2019 09:10:33 +0900 Shinji KONO osuc work around done
Wed, 05 Jun 2019 07:05:48 +0900 Shinji KONO split omax?
Wed, 05 Jun 2019 03:21:47 +0900 Shinji KONO internal error
Wed, 05 Jun 2019 02:58:17 +0900 Shinji KONO omax-induction does not work
Tue, 04 Jun 2019 23:58:58 +0900 Shinji KONO omax ..
Tue, 04 Jun 2019 01:05:33 +0900 Shinji KONO simpler ordinal
Sun, 02 Jun 2019 10:53:52 +0900 Shinji KONO Union done
Sat, 01 Jun 2019 19:19:40 +0900 Shinji KONO ordinal atomical successor?
Sat, 01 Jun 2019 18:17:24 +0900 Shinji KONO fix ordinal
Sat, 01 Jun 2019 14:43:05 +0900 Shinji KONO ...
Sat, 01 Jun 2019 10:23:53 +0900 Shinji KONO add osuc ( next larger element of Ordinal )
Sat, 01 Jun 2019 10:01:38 +0900 Shinji KONO Union needs +1 space
Sat, 25 May 2019 09:09:40 +0900 Shinji KONO == and ∅7
Fri, 24 May 2019 22:22:16 +0900 Shinji KONO equalitu and internal parametorisity
Fri, 24 May 2019 08:21:41 +0900 Shinji KONO mnimul
Thu, 23 May 2019 19:48:51 +0900 Shinji KONO ...
Wed, 22 May 2019 19:24:11 +0900 Shinji KONO ordinal fixed
Wed, 22 May 2019 11:52:49 +0900 Shinji KONO fix oridinal
Tue, 21 May 2019 18:17:24 +0900 Shinji KONO fix
Tue, 21 May 2019 18:13:48 +0900 Shinji KONO oridnal dead end
Tue, 21 May 2019 10:32:34 +0900 Shinji KONO fix ordinal
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 base constructible-set.agda@7e901a899f88