log filter.agda @ 363:aad9249d1e8f

age author description
Sat, 18 Jul 2020 10:36:32 +0900 Shinji KONO hω2
Sun, 05 Jul 2020 16:56:21 +0900 Shinji KONO HOD done
Sun, 05 Jul 2020 12:32:09 +0900 Shinji KONO ...
Wed, 24 Jun 2020 14:05:38 +0900 Shinji KONO contradiction found ...
Tue, 23 Jun 2020 15:12:43 +0900 Shinji KONO -- the set of finite partial functions from ω to 2
Mon, 15 Jun 2020 18:15:48 +0900 Shinji KONO if Filter contains L, prime filter is ultra
Mon, 15 Jun 2020 09:53:18 +0900 Shinji KONO fix prime
Sun, 14 Jun 2020 19:11:38 +0900 Shinji KONO ultra-filter P → prime-filter P done
Sun, 14 Jun 2020 08:57:14 +0900 Shinji KONO ...
Sat, 13 Jun 2020 15:59:10 +0900 Shinji KONO ...
Fri, 12 Jun 2020 19:21:14 +0900 Shinji KONO ...
Fri, 12 Jun 2020 19:19:16 +0900 Shinji KONO definition of filter
Sun, 07 Jun 2020 20:29:12 +0900 Shinji KONO ...
Sat, 09 May 2020 09:38:21 +0900 Shinji KONO seperate choice from LEM
Sat, 09 May 2020 09:02:52 +0900 Shinji KONO separate choice
Tue, 31 Dec 2019 11:22:52 +0900 Shinji KONO separate ordered pair and Boolean Algebra
Mon, 30 Dec 2019 23:45:59 +0900 Shinji KONO fix incl
Mon, 07 Oct 2019 01:28:11 +0900 Shinji KONO ...
Sun, 06 Oct 2019 16:42:42 +0900 Shinji KONO disjunction and conjunction
Mon, 30 Sep 2019 21:22:07 +0900 Shinji KONO ...
Mon, 30 Sep 2019 20:59:45 +0900 Shinji KONO
Mon, 30 Sep 2019 17:07:40 +0900 Shinji KONO ...
Mon, 30 Sep 2019 16:34:15 +0900 Shinji KONO filter
Fri, 16 Aug 2019 15:53:29 +0900 Shinji KONO ...
Mon, 29 Jul 2019 08:41:16 +0900 Shinji KONO ...
Sun, 28 Jul 2019 14:07:08 +0900 Shinji KONO choice function cannot jump between ordinal level
Fri, 26 Jul 2019 21:08:06 +0900 Shinji KONO add filter