log

age author description
2019-05-23 Shinji KONO ...
2019-05-23 Shinji KONO ...
2019-05-23 Shinji KONO ...
2019-05-23 Shinji KONO ¬ ( y c< x ) → x ≡ od∅
2019-05-22 Shinji KONO transitive
2019-05-22 Shinji KONO ordinal fixed
2019-05-22 Shinji KONO fix oridinal
2019-05-21 Shinji KONO fix
2019-05-21 Shinji KONO oridnal dead end
2019-05-21 Shinji KONO fix ordinal
2019-05-20 Shinji KONO problem on Ordinal ( OSuc ℵ )
2019-05-20 Shinji KONO posturate OD is isomorphic to Ordinal
2019-05-19 Shinji KONO OD continue
2019-05-19 Shinji KONO OD, HOD, TC
2019-05-18 Shinji KONO dom-ψ
2019-05-18 Shinji KONO ...
2019-05-18 Shinji KONO separte level
2019-05-17 Shinji KONO Sup
2019-05-16 Shinji KONO ..
2019-05-16 Shinji KONO add transfinite
2019-05-16 Shinji KONO ...
2019-05-16 Shinji KONO ...
2019-05-16 Shinji KONO fix
2019-05-14 Shinji KONO clean up
2019-05-14 Shinji KONO ...
2019-05-13 Shinji KONO fix
2019-05-13 Shinji KONO separete constructible set
2019-05-13 Shinji KONO dead end
2019-05-13 Shinji KONO dead end
2019-05-13 Shinji KONO ...
2019-05-13 Shinji KONO add constructible set
2019-05-12 Shinji KONO try to fix axiom of replacement
2019-05-12 Shinji KONO fix
2019-05-11 Shinji KONO ...
2019-05-11 Shinji KONO isEquiv and isZF
2019-05-11 Shinji KONO ZF in Agda release
2019-05-11 Shinji KONO ...
2019-05-11 Shinji KONO reocrd ZF
2019-05-08 Shinji KONO ...
2019-05-08 Shinji KONO union
2019-05-08 Shinji KONO Set theory in Agda