log

age author description
2019-07-07 Shinji KONO remove otrans again. start over
2019-07-07 Shinji KONO dead end?
2019-07-07 Shinji KONO ...
2019-07-06 Shinji KONO replace using Select
2019-07-06 Shinji KONO ... should use Select in Replace
2019-07-06 Shinji KONO otrans in repl
2019-07-06 Shinji KONO replacement in HOD
2019-07-06 Shinji KONO replacement in ordinal-definable
2019-07-06 Shinji KONO use OD for replace condition
2019-07-02 Shinji KONO ...
2019-07-02 Shinji KONO new replacement axiom
2019-07-02 Shinji KONO ord power set
2019-07-01 Shinji KONO ... dead end?
2019-07-01 Shinji KONO ...
2019-06-30 Shinji KONO power set
2019-06-30 Shinji KONO ...
2019-06-30 Shinji KONO record L
2019-06-30 Shinji KONO ...
2019-06-30 Shinji KONO ...
2019-06-27 Shinji KONO ...
2019-06-26 Shinji KONO inifinite done
2019-06-26 Shinji KONO infinite
2019-06-26 Shinji KONO Union done
2019-06-25 Shinji KONO minimum assuption
2019-06-25 Shinji KONO axiom of selection
2019-06-25 Shinji KONO Select declaration
2019-06-25 Shinji KONO f x d
2019-06-25 Shinji KONO ...
2019-06-24 Shinji KONO HOD
2019-06-20 Shinji KONO ...
2019-06-18 Shinji KONO dead end
2019-06-18 Shinji KONO remove o<→c< and add otrans in OD
2019-06-18 Shinji KONO dead end?
2019-06-16 Shinji KONO add assumption
2019-06-16 Shinji KONO add Ord Ordinal order preserving map
2019-06-16 Shinji KONO power set
2019-06-15 Shinji KONO ...
2019-06-12 Shinji KONO starting over HOD
2019-06-10 Shinji KONO ZF Set Theory in Agda release
2019-06-10 Shinji KONO Added tag current for changeset a402881cc341
2019-06-10 Shinji KONO add comment
2019-06-10 Shinji KONO Power Set done with min-sup assumption
2019-06-09 Shinji KONO ...
2019-06-09 Shinji KONO power set using sup on Def
2019-06-08 Shinji KONO Power Set and L
2019-06-08 Shinji KONO clean up
2019-06-08 Shinji KONO ...
2019-06-06 Shinji KONO replacement
2019-06-05 Shinji KONO Added tag current for changeset b4742cf4ef97
2019-06-05 Shinji KONO infinity axiom done
2019-06-05 Shinji KONO def ord conversion
2019-06-05 Shinji KONO ...
2019-06-05 Shinji KONO osuc work around done
2019-06-04 Shinji KONO split omax?
2019-06-04 Shinji KONO internal error
2019-06-04 Shinji KONO omax-induction does not work
2019-06-04 Shinji KONO omax ..
2019-06-04 Shinji KONO ...
2019-06-04 Shinji KONO Union (x , y) == (x , y ) only true on infinite case
2019-06-03 Shinji KONO simpler ordinal