log

age author description
2023-01-19 Shinji KONO FIP to Filter done
2023-01-18 Shinji KONO ...
2023-01-18 Shinji KONO ...
2023-01-18 Shinji KONO ...
2023-01-17 Shinji KONO Finite intersection property to Compact done
2023-01-17 Shinji KONO ...
2023-01-16 Shinji KONO ...
2023-01-16 Shinji KONO recovered
2023-01-16 Shinji KONO Union for cover
2023-01-16 Shinji KONO wrong cover definition
2023-01-15 Shinji KONO ...
2023-01-15 Shinji KONO ...
2023-01-15 Shinji KONO ...
2023-01-15 Shinji KONO Topology clean up
2023-01-14 Shinji KONO Maximal Filter and Ultra Filter generation done
2023-01-13 Shinji KONO ...
2023-01-13 Shinji KONO ...
2023-01-13 Shinji KONO ...
2023-01-13 Shinji KONO ...
2023-01-12 Shinji KONO ...
2023-01-12 Shinji KONO ..
2023-01-12 Shinji KONO ...
2023-01-12 Shinji KONO ...
2023-01-11 Shinji KONO ...
2023-01-11 Shinji KONO ...
2023-01-10 Shinji KONO ...
2023-01-10 Shinji KONO use different filter
2023-01-10 Shinji KONO ...
2023-01-10 Shinji KONO ...
2023-01-09 Shinji KONO ...
2023-01-09 Shinji KONO ...
2023-01-09 Shinji KONO ...
2023-01-04 Shinji KONO ...
2023-01-04 Shinji KONO add OS ∋ od∅
2023-01-03 Shinji KONO ...
2023-01-03 Shinji KONO FIP fix
2023-01-02 Shinji KONO ...
2023-01-01 Shinji KONO Product Topology done
2023-01-01 Shinji KONO generated topology from subbase done
2023-01-01 Shinji KONO ...
2023-01-01 Shinji KONO ....
2023-01-01 Shinji KONO ...
2023-01-01 Shinji KONO fix Topology definition
2022-12-31 Shinji KONO ...
2022-12-31 Shinji KONO ...
2022-12-31 Shinji KONO ...
2022-12-31 Shinji KONO ...
2022-12-31 Shinji KONO ...
2022-12-31 Shinji KONO ...
2022-12-30 Shinji KONO ...
2022-12-30 Shinji KONO ...
2022-12-29 Shinji KONO ...
2022-12-29 Shinji KONO Added tag current for changeset a9a7ad7784cc
2022-12-29 Shinji KONO fix topology
2022-12-28 Shinji KONO ...
2022-12-26 Shinji KONO PFOD
2022-12-25 Shinji KONO ...
2022-12-24 Shinji KONO ...
2022-12-24 Shinji KONO add README
2022-12-23 Shinji KONO recovery
2022-12-22 Shinji KONO OD clean up
2022-12-21 Shinji KONO this is no good
2022-12-20 Shinji KONO ...
2022-12-20 Shinji KONO index version
2022-12-20 Shinji KONO fix comments
2022-12-19 Shinji KONO order removal
2022-12-18 Shinji KONO try to hide spu from source
2022-12-18 Shinji KONO supf-idem is not so easy
2022-12-18 Shinji KONO order may come from supf-idem
2022-12-17 Shinji KONO Added tag release for changeset a92aacd3d83a
2022-12-17 Shinji KONO Added tag current for changeset 7ec55b1bdfc2 release
2022-12-17 Shinji KONO Zorn done
2022-12-17 Shinji KONO done?
2022-12-17 Shinji KONO 0< is no good
2022-12-16 Shinji KONO strange bug of agda
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO order done
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO ...
2022-12-16 Shinji KONO is-minsup done
2022-12-15 Shinji KONO ...
2022-12-14 Shinji KONO ...
2022-12-14 Shinji KONO ...
2022-12-14 Shinji KONO supf-mono done
2022-12-13 Shinji KONO ...
2022-12-13 Shinji KONO ...
2022-12-13 Shinji KONO ...
2022-12-12 Shinji KONO add 0<supfz
2022-12-12 Shinji KONO ic case
2022-12-12 Shinji KONO ...
2022-12-12 Shinji KONO equal case
2022-12-12 Shinji KONO ...
2022-12-11 Shinji KONO ...
2022-12-11 Shinji KONO ...
2022-12-11 Shinji KONO another IChain
2022-12-10 Shinji KONO IChain?
2022-12-10 Shinji KONO ...
2022-12-10 Shinji KONO ...
2022-12-09 Shinji KONO lim
2022-12-09 Shinji KONO sup=u ONDE
2022-12-09 Shinji KONO order (px case) done
2022-12-09 Shinji KONO ...
2022-12-09 Shinji KONO order connected
2022-12-09 Shinji KONO ...
2022-12-09 Shinji KONO ... bad
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-07 Shinji KONO ...
2022-12-05 Shinji KONO ...
2022-12-04 Shinji KONO is-minsup in px case done
2022-12-04 Shinji KONO ...
2022-12-04 Shinji KONO ...
2022-12-04 Shinji KONO pxhainx conditon is requied?
2022-12-03 Shinji KONO ...
2022-12-03 Shinji KONO ...
2022-12-03 Shinji KONO ...
2022-12-02 Shinji KONO mf< everywhere
2022-12-02 Shinji KONO ...
2022-12-02 Shinji KONO ...
2022-12-02 Shinji KONO ...
2022-12-01 Shinji KONO ...
2022-12-01 Shinji KONO ch-init again, because ch-is-sup require u<x which is not valid supf o∅
2022-11-30 Shinji KONO minsup is not obvious in ZChain
2022-11-30 Shinji KONO ...
2022-11-28 Shinji KONO ...
2022-11-27 Shinji KONO ChainP removal
2022-11-27 Shinji KONO ...
2022-11-26 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO supf-< and ZChain1.order is removed
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-25 Shinji KONO ...
2022-11-24 Shinji KONO ...
2022-11-24 Shinji KONO ...
2022-11-24 Shinji KONO sa<b
2022-11-24 Shinji KONO trying cscf as odef (UnionCF A f mf ay supf z) w
2022-11-23 Shinji KONO ...
2022-11-23 Shinji KONO ...
2022-11-23 Shinji KONO ...
2022-11-23 Shinji KONO fc-inject is no good
2022-11-23 Shinji KONO maxα
2022-11-20 Shinji KONO IChain recursive record avoided
2022-11-20 Shinji KONO Recursive record IChain
2022-11-20 Shinji KONO ...
2022-11-20 Shinji KONO ...
2022-11-19 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO first cfcs done
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO ...
2022-11-18 Shinji KONO fcs<sup requires <-monotonicity
2022-11-17 Shinji KONO ...
2022-11-17 Shinji KONO ...
2022-11-17 Shinji KONO ...
2022-11-16 Shinji KONO UChain is now u o< x
2022-11-16 Shinji KONO u ≤ x again?
2022-11-16 Shinji KONO SZ1 done
2022-11-16 Shinji KONO ... x < & A ?
2022-11-16 Shinji KONO f (supf x) = supf x
2022-11-16 Shinji KONO ...
2022-11-16 Shinji KONO ...
2022-11-13 Shinji KONO is-max and supf b = supf x
2022-11-13 Shinji KONO is-max?
2022-11-12 Shinji KONO ..
2022-11-11 Shinji KONO zc10 : supf c ≡ supf (& A) → {x : Ordinal } → odef A x → ¬ ( c << x ) ?
2022-11-11 Shinji KONO order s o< t is bad
2022-11-11 Shinji KONO ...
2022-11-11 Shinji KONO ... order supf o< supf is bad?
2022-11-10 Shinji KONO ...
2022-11-09 Shinji KONO ...
2022-11-08 Shinji KONO chain is now u≤x again
2022-11-08 Shinji KONO ... csupf is bad
2022-11-08 Shinji KONO is-max on supf b o< supf x and csupf on supf x o< z is better?
2022-11-08 Shinji KONO is-max condition have to be b o< x
2022-11-08 Shinji KONO ...
2022-11-07 Shinji KONO csupf removal?
2022-11-07 Shinji KONO ...
2022-11-07 Shinji KONO ...
2022-11-07 Shinji KONO ...
2022-11-06 Shinji KONO ...
2022-11-06 Shinji KONO ...
2022-11-06 Shinji KONO ...
2022-11-05 Shinji KONO ...
2022-11-05 Shinji KONO ...
2022-11-05 Shinji KONO removing ch-init is no good because of initialization
2022-11-04 Shinji KONO ...
2022-11-04 Shinji KONO ...
2022-11-04 Shinji KONO ...
2022-11-04 Shinji KONO supf sp = sp ?
2022-11-04 Shinji KONO IsMinSUP< is wrong
2022-11-03 Shinji KONO ...
2022-11-03 Shinji KONO IsMinSup contains not HasPrev
2022-11-03 Shinji KONO MinSup onlu
2022-11-03 Shinji KONO ...
2022-11-03 Shinji KONO ...
2022-11-02 Shinji KONO IsSUP is now min sup
2022-11-01 Shinji KONO ...
2022-11-01 Shinji KONO z04 done
2022-11-01 Shinji KONO supf mc = mc
2022-11-01 Shinji KONO ...
2022-10-31 Shinji KONO ...
2022-10-31 Shinji KONO ...
2022-10-31 Shinji KONO avoid memory exhaust
2022-10-31 Shinji KONO ...
2022-10-30 Shinji KONO memory exhaust work around
2022-10-30 Shinji KONO bad with trio< o
2022-10-30 Shinji KONO ...
2022-10-29 Shinji KONO ...
2022-10-29 Shinji KONO avoided
2022-10-29 Shinji KONO not-hasprev z29 and z31 cause memory exhaust
2022-10-28 Shinji KONO ...
2022-10-28 Shinji KONO ...
2022-10-24 Shinji KONO ...
2022-10-24 Shinji KONO ...
2022-10-24 Shinji KONO mem exhaust fix on fixpoint
2022-10-24 Shinji KONO resync zorn.agda
2022-10-24 Shinji KONO ...
2022-10-23 Shinji KONO memory exhaust work around
2022-10-23 Shinji KONO ...
2022-10-23 Shinji KONO ...
2022-10-22 Shinji KONO ...
2022-10-22 Shinji KONO ...
2022-10-20 Shinji KONO ...
2022-10-20 Shinji KONO ...
2022-10-19 Shinji KONO ...
2022-10-19 Shinji KONO supf usp0 instead of supf (& A) ?
2022-10-18 Shinji KONO use supf of zchain for (nmx : ¬ Maximal A ) → ⊥
2022-10-17 Shinji KONO ...
2022-10-17 Shinji KONO UnionZF
2022-10-16 Shinji KONO fixpoint?
2022-10-16 Shinji KONO supf u o< supf x
2022-10-15 Shinji KONO supf px o< px is in csupf
2022-10-15 Shinji KONO roll back
2022-10-13 Shinji KONO ...
2022-10-12 Shinji KONO ...
2022-10-12 Shinji KONO this csupf is bad
2022-10-12 Shinji KONO ...
2022-10-12 Shinji KONO ...
2022-10-12 Shinji KONO ...
2022-10-12 Shinji KONO ...
2022-10-11 Shinji KONO ...
2022-10-11 Shinji KONO supf (supf x) ≡ supf x is bad
2022-10-11 Shinji KONO ...
2022-10-10 Shinji KONO ...
2022-10-10 Shinji KONO union equal passed
2022-10-10 Shinji KONO ...
2022-10-09 Shinji KONO ...
2022-10-09 Shinji KONO ...
2022-10-09 Shinji KONO ...
2022-10-07 Shinji KONO roll back to u<x
2022-10-06 Shinji KONO UChain u<x to u≤x again
2022-10-06 Shinji KONO ...
2022-10-06 Shinji KONO ...
2022-10-06 Shinji KONO fixing u<x is no good
2022-10-06 Shinji KONO sp1 = supf (& A)
2022-10-06 Shinji KONO ...
2022-10-05 Shinji KONO ...
2022-10-05 Shinji KONO x ≤ supf x is no good
2022-10-05 Shinji KONO u < supf z
2022-10-04 Shinji KONO ...
2022-10-03 Shinji KONO x≤supfx1 is no good
2022-10-03 Shinji KONO csupf
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-02 Shinji KONO ...
2022-10-01 Shinji KONO ...
2022-09-30 Shinji KONO ...
2022-09-30 Shinji KONO ...
2022-09-30 Shinji KONO ...
2022-09-30 Shinji KONO MinSUP
2022-09-24 Shinji KONO ...
2022-09-20 Shinji KONO ...
2022-09-17 Shinji KONO csupf cannot be proved in ZChain itself
2022-09-17 Shinji KONO ...
2022-09-17 Shinji KONO ...
2022-09-16 Shinji KONO ...
2022-09-16 Shinji KONO ...
2022-09-15 Shinji KONO ...
2022-09-14 Shinji KONO ..
2022-09-13 Shinji KONO ...
2022-09-12 Shinji KONO ...
2022-09-12 Shinji KONO ...
2022-09-11 Shinji KONO ...
2022-09-10 Shinji KONO ...
2022-09-09 Shinji KONO ...
2022-09-09 Shinji KONO u<=x to u<x
2022-09-08 Shinji KONO ...
2022-09-08 Shinji KONO ...
2022-09-08 Shinji KONO no-extension on immidate ordinal passed
2022-09-08 Shinji KONO ...
2022-09-07 Shinji KONO ...
2022-09-07 Shinji KONO supf-max
2022-09-06 Shinji KONO ...
2022-09-05 Shinji KONO close
2022-09-05 Shinji KONO csupf b is no good, because supf1 x is not in UnionCF x ( but UnionCD (supf x) )
2022-09-05 Shinji KONO ...
2022-09-05 Shinji KONO ...
2022-09-05 Shinji KONO ...
2022-09-05 Shinji KONO ...
2022-09-04 Shinji KONO ...
2022-09-03 Shinji KONO ...
2022-09-03 Shinji KONO ...
2022-09-03 Shinji KONO ...
2022-08-31 Shinji KONO csupf in not come from ZChain itself
2022-08-31 Shinji KONO ...
2022-08-30 Shinji KONO ...
2022-08-30 Shinji KONO ...
2022-08-29 Shinji KONO ...
2022-08-29 Shinji KONO ...
2022-08-28 Shinji KONO ...
2022-08-28 Shinji KONO ...
2022-08-24 Shinji KONO ...
2022-08-23 Shinji KONO ...
2022-08-23 Shinji KONO ...
2022-08-23 Shinji KONO ...
2022-08-23 Shinji KONO ... dead end
2022-08-22 Shinji KONO supf1 unnecessary
2022-08-22 Shinji KONO ...
2022-08-21 Shinji KONO ...
2022-08-19 Shinji KONO ...
2022-08-19 Shinji KONO csupf fix
2022-08-19 Shinji KONO ...
2022-08-18 Shinji KONO ...
2022-08-18 Shinji KONO ...
2022-08-18 Shinji KONO sp1 on supf1 px
2022-08-18 Shinji KONO ...
2022-08-18 Shinji KONO ...
2022-08-17 Shinji KONO retreat
2022-08-17 Shinji KONO another spuf1
2022-08-17 Shinji KONO xSUP on px
2022-08-17 Shinji KONO ...
2022-08-16 Shinji KONO ...
2022-08-16 Shinji KONO ...
2022-08-16 Shinji KONO ...
2022-08-16 Shinji KONO ...
2022-08-16 Shinji KONO < on ZChain.sup
2022-08-16 Shinji KONO ...
2022-08-16 Shinji KONO nvim-agda bug in zorn.agda
2022-08-15 Shinji KONO ...
2022-08-15 Shinji KONO ...
2022-08-15 Shinji KONO ...
2022-08-12 Shinji KONO ...
2022-08-12 Shinji KONO ...
2022-08-12 Shinji KONO ...
2022-08-11 Shinji KONO ...
2022-08-09 Shinji KONO ...
2022-08-08 Shinji KONO ...
2022-08-08 Shinji KONO ...
2022-08-08 Shinji KONO ...
2022-08-07 Shinji KONO ...
2022-08-06 Shinji KONO ...
2022-08-06 Shinji KONO supf contraint
2022-08-05 Shinji KONO ...
2022-08-05 Shinji KONO csupf depends on order cyclicly
2022-08-05 Shinji KONO ...
2022-08-05 Shinji KONO ...
2022-08-03 Shinji KONO ...
2022-08-03 Shinji KONO ...
2022-08-02 Shinji KONO remove unnesesary part in SZ1 the second TransFinite induction for is-max
2022-08-02 Shinji KONO ...
2022-08-02 Shinji KONO u<x in UChain again
2022-08-02 Shinji KONO ...
2022-08-01 Shinji KONO ...
2022-08-01 Shinji KONO order done
2022-08-01 Shinji KONO ...
2022-08-01 Shinji KONO ...
2022-08-01 Shinji KONO ...
2022-07-31 Shinji KONO ...
2022-07-31 Shinji KONO sup=SUP is no good
2022-07-28 Shinji KONO ...
2022-07-28 Shinji KONO ...
2022-07-28 Shinji KONO ...
2022-07-26 Shinji KONO ...
2022-07-26 Shinji KONO ...
2022-07-26 Shinji KONO ...
2022-07-26 Shinji KONO ...
2022-07-26 Shinji KONO ...
2022-07-25 Shinji KONO ...
2022-07-25 Shinji KONO ...
2022-07-25 Shinji KONO ...
2022-07-25 Shinji KONO ...
2022-07-25 Shinji KONO spi <= u
2022-07-25 Shinji KONO ...
2022-07-25 Shinji KONO ...
2022-07-25 Shinji KONO < is wrong
2022-07-25 Shinji KONO ...
2022-07-25 Shinji KONO ...
2022-07-24 Shinji KONO edge case done
2022-07-24 Shinji KONO ...
2022-07-24 Shinji KONO ...
2022-07-24 Shinji KONO is-max on first transfinite induction is not good
2022-07-24 Shinji KONO ...
2022-07-24 Shinji KONO ...
2022-07-24 Shinji KONO u < osuc x
2022-07-23 Shinji KONO ...
2022-07-23 Shinji KONO close
2022-07-23 Shinji KONO dead end
2022-07-22 Shinji KONO ..
2022-07-22 Shinji KONO ...
2022-07-22 Shinji KONO ...
2022-07-22 Shinji KONO ...
2022-07-21 Shinji KONO initial chain separation
2022-07-21 Shinji KONO ...
2022-07-21 Shinji KONO ...
2022-07-21 Shinji KONO ...
2022-07-20 Shinji KONO ...
2022-07-20 Shinji KONO ...
2022-07-20 Shinji KONO ...
2022-07-20 Shinji KONO ...
2022-07-19 Shinji KONO ...
2022-07-19 Shinji KONO ...
2022-07-19 Shinji KONO ...
2022-07-19 Shinji KONO ...
2022-07-19 Shinji KONO ...
2022-07-19 Shinji KONO ...
2022-07-19 Shinji KONO ...
2022-07-18 Shinji KONO bchain can be reached from upwords by f. so it is worng.
2022-07-18 Shinji KONO close
2022-07-18 Shinji KONO x in ChainP
2022-07-18 Shinji KONO ...
2022-07-18 Shinji KONO ...
2022-07-18 Shinji KONO ...
2022-07-18 Shinji KONO psupf-mono and is-max conflict
2022-07-18 Shinji KONO ...
2022-07-16 Shinji KONO ...
2022-07-15 Shinji KONO ...
2022-07-15 Shinji KONO ...
2022-07-15 Shinji KONO ...
2022-07-15 Shinji KONO ...
2022-07-15 Shinji KONO close
2022-07-15 Shinji KONO UZChain
2022-07-15 Shinji KONO ...
2022-07-15 Shinji KONO ...
2022-07-15 Shinji KONO ...
2022-07-15 Shinji KONO ...
2022-07-15 Shinji KONO px?
2022-07-14 Shinji KONO fix is-max
2022-07-14 Shinji KONO initial chain?
2022-07-13 Shinji KONO ...
2022-07-13 Shinji KONO ...
2022-07-13 Shinji KONO ...
2022-07-13 Shinji KONO ...
2022-07-12 Shinji KONO initial chain has no maximality
2022-07-12 Shinji KONO init chain
2022-07-12 Shinji KONO ...
2022-07-12 Shinji KONO one pass
2022-07-12 Shinji KONO close it
2022-07-12 Shinji KONO ...
2022-07-12 Shinji KONO ...
2022-07-12 Shinji KONO ...
2022-07-12 Shinji KONO ...
2022-07-12 Shinji KONO ...
2022-07-11 Shinji KONO ...
2022-07-11 Shinji KONO ???
2022-07-11 Shinji KONO ...
2022-07-11 Shinji KONO same problem again
2022-07-10 Shinji KONO ...
2022-07-10 Shinji KONO ...
2022-07-10 Shinji KONO Chain with chainf
2022-07-10 Shinji KONO Chain is not strictly positive
2022-07-10 Shinji KONO ...
2022-07-10 Shinji KONO ...
2022-07-10 Shinji KONO ...
2022-07-09 Shinji KONO chain-total done
2022-07-09 Shinji KONO no transfinite on data Chain trichotomos
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-09 Shinji KONO ...
2022-07-08 Shinji KONO new chain
2022-07-08 Shinji KONO close
2022-07-08 Shinji KONO fix
2022-07-04 Shinji KONO ...
2022-07-04 Shinji KONO ...
2022-07-04 Shinji KONO new data Chain
2022-07-04 Shinji KONO ...
2022-07-04 Shinji KONO do all in sind
2022-07-03 Shinji KONO new TransFinite induction
2022-07-03 Shinji KONO ...
2022-07-03 Shinji KONO ...
2022-07-03 Shinji KONO ...
2022-07-02 Shinji KONO fix
2022-07-02 Shinji KONO close this
2022-07-02 Shinji KONO ... dead end
2022-07-02 Shinji KONO ...
2022-07-02 Shinji KONO ...
2022-07-01 Shinji KONO data Chain
2022-07-01 Shinji KONO UChain rewrite
2022-06-30 Shinji KONO ...
2022-06-29 Shinji KONO sind again
2022-06-27 Shinji KONO use previous version
2022-06-27 Shinji KONO ZChain1 is not strictly positive
2022-06-27 Shinji KONO ...
2022-06-27 Shinji KONO ...
2022-06-27 Shinji KONO ...
2022-06-26 Shinji KONO ... zc1
2022-06-26 Shinji KONO ...
2022-06-26 Shinji KONO ...
2022-06-26 Shinji KONO ...
2022-06-26 Shinji KONO ...
2022-06-26 Shinji KONO ...
2022-06-25 Shinji KONO close
2022-06-25 Shinji KONO ...
2022-06-24 Shinji KONO ...
2022-06-21 Shinji KONO ...
2022-06-21 Shinji KONO ...
2022-06-21 Shinji KONO ...
2022-06-21 Shinji KONO ...
2022-06-21 Shinji KONO ...
2022-06-20 Shinji KONO ZChain1 is not strictly positive
2022-06-20 Shinji KONO Added tag release for changeset 1150b006059b
2022-06-20 Shinji KONO ... give up
2022-06-20 Shinji KONO ...
2022-06-20 Shinji KONO ... TFcomm
2022-06-20 Shinji KONO ...
2022-06-20 Shinji KONO dead end
2022-06-20 Shinji KONO failed again
2022-06-19 Shinji KONO ...
2022-06-19 Shinji KONO supf again
2022-06-19 Shinji KONO close this
2022-06-19 Shinji KONO dead end
2022-06-19 Shinji KONO ...
2022-06-18 Shinji KONO min-sup
2022-06-18 Shinji KONO ...
2022-06-18 Shinji KONO nested transfinie on monotonicity
2022-06-17 Shinji KONO ...
2022-06-17 Shinji KONO ...
2022-06-17 Shinji KONO ind-mono
2022-06-17 Shinji KONO close this
2022-06-17 Shinji KONO dead end
2022-06-17 Shinji KONO ...
2022-06-17 Shinji KONO ...
2022-06-17 Shinji KONO ...
2022-06-17 Shinji KONO ...
2022-06-17 Shinji KONO mutual tranfinite in zorn
2022-06-16 Shinji KONO SupF and ChainMono
2022-06-14 Shinji KONO ...
2022-06-14 Shinji KONO ...
2022-06-14 Shinji KONO ...
2022-06-14 Shinji KONO ...
2022-06-14 Shinji KONO ...
2022-06-14 Shinji KONO sup done
2022-06-13 Shinji KONO not yet ...
2022-06-13 Shinji KONO total done
2022-06-13 Shinji KONO ...
2022-06-13 Shinji KONO ...
2022-06-13 Shinji KONO ...
2022-06-13 Shinji KONO ...
2022-06-13 Shinji KONO ...
2022-06-13 Shinji KONO ...
2022-06-13 Shinji KONO FCSet
2022-06-12 Shinji KONO ...
2022-06-11 Shinji KONO ...
2022-06-08 Shinji KONO give up
2022-06-08 Shinji KONO chainf is now global on ZChain
2022-06-08 Shinji KONO ...
2022-06-07 Shinji KONO ...
2022-06-07 Shinji KONO ZChain∧Chain
2022-06-07 Shinji KONO try mutual transfinite
2022-06-07 Shinji KONO ...
2022-06-06 Shinji KONO ...
2022-06-06 Shinji KONO close release
2022-06-06 Shinji KONO ...
2022-06-05 Shinji KONO ZC is bad again
2022-06-05 Shinji KONO close
2022-06-05 Shinji KONO ... look bad
2022-06-05 Shinji KONO ...
2022-06-05 Shinji KONO f-next seems bad
2022-06-05 Shinji KONO ZC data won't work
2022-05-02 Shinji KONO ... still remains
2022-05-02 Shinji KONO ZChain is monotonic on x, should be in record ZFChain
2022-05-02 Shinji KONO ...
2022-05-02 Shinji KONO ...
2022-05-01 Shinji KONO ...
2022-05-01 Shinji KONO ...
2022-04-30 Shinji KONO ...
2022-04-30 Shinji KONO fix sp1
2022-04-30 Shinji KONO ...
2022-04-30 Shinji KONO ...
2022-04-30 Shinji KONO ...
2022-04-30 Shinji KONO ...
2022-04-30 Shinji KONO ...
2022-04-29 Shinji KONO ...
2022-04-29 Shinji KONO fcn-cmp done
2022-04-29 Shinji KONO ...
2022-04-29 Shinji KONO ...
2022-04-29 Shinji KONO ...
2022-04-29 Shinji KONO ...
2022-04-29 Shinji KONO ...
2022-04-28 Shinji KONO ...
2022-04-28 Shinji KONO ...
2022-04-28 Shinji KONO ...
2022-04-28 Shinji KONO ...
2022-04-28 Shinji KONO ...
2022-04-28 Shinji KONO ...
2022-04-27 Shinji KONO ...
2022-04-27 Shinji KONO ...
2022-04-27 Shinji KONO tranfinite reorganization in Zorn
2022-04-26 Shinji KONO ...
2022-04-26 Shinji KONO ...
2022-04-26 Shinji KONO ...
2022-04-25 Shinji KONO ...
2022-04-24 Shinji KONO ...
2022-04-24 Shinji KONO ...
2022-04-24 Shinji KONO ...
2022-04-23 Shinji KONO ...
2022-04-23 Shinji KONO remove unsed in zorn
2022-04-23 Shinji KONO ...
2022-04-23 Shinji KONO ...
2022-04-23 Shinji KONO ...
2022-04-22 Shinji KONO ...
2022-04-22 Shinji KONO ...
2022-04-22 Shinji KONO ...
2022-04-20 Shinji KONO ...
2022-04-19 Shinji KONO TransitiveClosure with x <= f x is possible
2022-04-19 Shinji KONO ...
2022-04-18 Shinji KONO give up for a while
2022-04-18 Shinji KONO ...
2022-04-17 Shinji KONO ...
2022-04-17 Shinji KONO all-climb-case
2022-04-17 Shinji KONO ...
2022-04-17 Shinji KONO zc10
2022-04-17 Shinji KONO ...
2022-04-16 Shinji KONO ...
2022-04-16 Shinji KONO ...
2022-04-16 Shinji KONO chain total complete
2022-04-16 Shinji KONO ...
2022-04-16 Shinji KONO ε-induction does not work on Zorn
2022-04-16 Shinji KONO ...
2022-04-15 Shinji KONO ...
2022-04-15 Shinji KONO ...
2022-04-15 Shinji KONO ...
2022-04-15 Shinji KONO ...
2022-04-15 Shinji KONO chain closure
2022-04-15 Shinji KONO ...
2022-04-14 Shinji KONO ...
2022-04-13 Shinji KONO 2 cases in 3 cases
2022-04-12 Shinji KONO ...
2022-04-12 Shinji KONO ...
2022-04-12 Shinji KONO ...
2022-04-12 Shinji KONO ...
2022-04-12 Shinji KONO ...
2022-04-12 Shinji KONO ...
2022-04-12 Shinji KONO ...
2022-04-12 Shinji KONO zorn-case
2022-04-11 Shinji KONO other strategy
2022-04-09 Shinji KONO total of B
2022-04-09 Shinji KONO ...
2022-04-08 Shinji KONO ...
2022-04-08 Shinji KONO ...
2022-04-08 Shinji KONO Partial Order
2022-04-08 Shinji KONO ...
2022-04-08 Shinji KONO IsPartialOrder
2022-04-08 Shinji KONO ...
2022-04-08 Shinji KONO ...
2022-04-07 Shinji KONO ...
2022-04-07 Shinji KONO ...
2022-04-07 Shinji KONO ...
2022-04-06 Shinji KONO ...
2022-04-06 Shinji KONO zorn again
2022-04-05 Shinji KONO ...
2022-04-03 Shinji KONO ...
2022-04-03 Shinji KONO ...
2022-04-03 Shinji KONO ...
2022-04-02 Shinji KONO ...
2022-04-01 Shinji KONO separate zorn lemma
2022-04-01 Shinji KONO ...
2022-04-01 Shinji KONO ...
2022-03-31 Shinji KONO ...
2022-03-30 Shinji KONO ...
2022-03-29 Shinji KONO ...
2022-03-28 Shinji KONO ...
2022-03-27 Shinji KONO ...
2022-03-23 Shinji KONO ...
2022-03-23 Shinji KONO ...
2022-03-23 Shinji KONO ...
2022-03-22 Shinji KONO ...
2022-03-22 Shinji KONO ...
2022-03-21 Shinji KONO Zorn lemma start
2022-03-20 Shinji KONO generic filter done
2022-03-20 Shinji KONO ...
2022-03-20 Shinji KONO ...
2022-03-19 Shinji KONO ...
2022-03-18 Shinji KONO ...
2022-03-18 Shinji KONO ...
2022-03-17 Shinji KONO ...
2022-03-17 Shinji KONO fix filter on subset of Power P
2022-03-17 Shinji KONO ...
2022-03-15 Shinji KONO ...
2022-03-15 Shinji KONO P should be an order structure not Power Ser
2022-03-14 Shinji KONO ...
2022-03-14 Shinji KONO ...
2022-03-14 Shinji KONO ...
2022-03-13 Shinji KONO Generic Filter done
2022-03-13 Shinji KONO ...
2022-03-13 Shinji KONO ...
2022-03-12 Shinji KONO ...
2022-03-10 Shinji KONO close this
2022-03-10 Shinji KONO generic filter does not work
2022-03-09 Shinji KONO ...
2022-03-04 Shinji KONO ...
2022-03-01 Shinji KONO ...
2022-03-01 Shinji KONO give up this generic filter definition
2022-02-26 Shinji KONO ...
2022-02-25 Shinji KONO ⊆-reduction
2022-02-22 Shinji KONO val
2022-02-22 Shinji KONO ...
2022-02-20 Shinji KONO fi;ter1
2022-02-18 Shinji KONO generic filter
2021-09-03 Shinji KONO separate PFOD
2020-12-21 Shinji KONO Added tag current for changeset a5f8084b8368
2020-12-21 Shinji KONO reorganiztion for apkg
2020-12-20 Shinji KONO ...
2020-12-19 Shinji KONO ...
2020-12-19 Shinji KONO add Topology
2020-08-08 Shinji KONO ...
2020-08-06 Shinji KONO ...
2020-08-05 Shinji KONO ...
2020-08-01 Shinji KONO remvoe TransFinifte1
2020-08-01 Shinji KONO ...
2020-08-01 Shinji KONO syntax *, &, ⟪ , ⟫
2020-07-31 Shinji KONO ...
2020-07-31 Shinji KONO bijection
2020-07-31 Shinji KONO ...
2020-07-31 Shinji KONO ...
2020-07-31 Shinji KONO ...
2020-07-30 Shinji KONO ...
2020-07-30 Shinji KONO ...
2020-07-30 Shinji KONO add VL
2020-07-29 Shinji KONO generic filter on going
2020-07-29 Shinji KONO ...
2020-07-29 Shinji KONO ...
2020-07-29 Shinji KONO ...
2020-07-28 Shinji KONO nat→ω-iso
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-28 Shinji KONO ...
2020-07-27 Shinji KONO use induction
2020-07-27 Shinji KONO ...
2020-07-27 Shinji KONO ...
2020-07-27 Shinji KONO ...
2020-07-27 Shinji KONO ...
2020-07-27 Shinji KONO ...
2020-07-26 Shinji KONO ...
2020-07-26 Shinji KONO ...
2020-07-25 Shinji KONO ...
2020-07-25 Shinji KONO generic filter defined
2020-07-25 Shinji KONO generic filter
2020-07-25 Shinji KONO ...
2020-07-25 Shinji KONO ...
2020-07-25 Shinji KONO ...
2020-07-23 Shinji KONO ...
2020-07-21 Shinji KONO ...
2020-07-21 Shinji KONO Three List / Filter
2020-07-21 Shinji KONO ...
2020-07-21 Shinji KONO ...
2020-07-21 Shinji KONO ...
2020-07-20 Shinji KONO ...
2020-07-20 Shinji KONO ...
2020-07-20 Shinji KONO ...
2020-07-20 Shinji KONO ..
2020-07-20 Shinji KONO ...
2020-07-20 Shinji KONO Select : (X : HOD ) → ((x : HOD ) → X ∋ x → Set n ) → HOD does not work
2020-07-20 Shinji KONO ...
2020-07-19 Shinji KONO ...
2020-07-19 Shinji KONO ...
2020-07-19 Shinji KONO ...
2020-07-19 Shinji KONO ...
2020-07-19 Shinji KONO fix Select and Replace
2020-07-18 Shinji KONO ...
2020-07-18 Shinji KONO ...
2020-07-18 Shinji KONO ...
2020-07-18 Shinji KONO ...
2020-07-18 Shinji KONO ...
2020-07-18 Shinji KONO hω2
2020-07-17 Shinji KONO ...
2020-07-17 Shinji KONO ...
2020-07-14 Shinji KONO ...
2020-07-14 Shinji KONO ...
2020-07-14 Shinji KONO ...
2020-07-14 Shinji KONO Removed tag curret
2020-07-14 Shinji KONO Added tag release for changeset 45fefbfd4871
2020-07-14 Shinji KONO Added tag current for changeset aa03b9c289c0
2020-07-14 Shinji KONO Limit Ordinal
2020-07-14 Shinji KONO Added tag current for changeset e27769992399
2020-07-14 Shinji KONO next-is-limit
2020-07-14 Shinji KONO mistake
2020-07-14 Shinji KONO ...
2020-07-14 Shinji KONO ...
2020-07-13 Shinji KONO Limit ordinal and possible OD bound
2020-07-13 Shinji KONO ...
2020-07-13 Shinji KONO ...
2020-07-13 Shinji KONO Added tag curret for changeset e0916a632971
2020-07-13 Shinji KONO possible order restriction makes ω ZFSet
2020-07-13 Shinji KONO ...
2020-07-13 Shinji KONO ...
2020-07-13 Shinji KONO ...
2020-07-13 Shinji KONO ...
2020-07-12 Shinji KONO ...
2020-07-12 Shinji KONO ...
2020-07-07 Shinji KONO ...
2020-07-06 Shinji KONO ...
2020-07-06 Shinji KONO ...
2020-07-05 Shinji KONO HOD release
2020-07-05 Shinji KONO Added tag release for changeset fcc65e37e72b
2020-07-05 Shinji KONO Added tag current for changeset 12071f79f3cf
2020-07-05 Shinji KONO HOD done
2020-07-05 Shinji KONO ...
2020-07-05 Shinji KONO ...
2020-07-05 Shinji KONO intoduce ωmax
2020-07-04 Shinji KONO ...
2020-07-04 Shinji KONO ...
2020-07-04 Shinji KONO ...
2020-07-04 Shinji KONO ...
2020-07-04 Shinji KONO ...
2020-07-03 Shinji KONO ...
2020-07-03 Shinji KONO ...
2020-07-03 Shinji KONO infinite ...
2020-07-03 Shinji KONO Union done
2020-07-03 Shinji KONO Replace max
2020-07-03 Shinji KONO Power done
2020-07-03 Shinji KONO ...
2020-07-03 Shinji KONO ...
2020-07-03 Shinji KONO ...
2020-07-03 Shinji KONO ...
2020-07-02 Shinji KONO ...
2020-06-30 Shinji KONO ...
2020-06-29 Shinji KONO ...
2020-06-29 Shinji KONO ...
2020-06-29 Shinji KONO ...
2020-06-29 Shinji KONO ...
2020-06-29 Shinji KONO fix sup
2020-06-29 Shinji KONO ...
2020-06-29 Shinji KONO HOD using <maxod
2020-06-29 Shinji KONO ¬odmax based HOD
2020-06-28 Shinji KONO HOD and reduction mapping of Ordinals
2020-06-24 Shinji KONO contradiction found ...
2020-06-23 Shinji KONO -- the set of finite partial functions from ω to 2
2020-06-23 Shinji KONO better to use ordinal number hierachy to create HOD
2020-06-23 Shinji KONO ... should we use HOD?
2020-06-22 Shinji KONO maxod try
2020-06-15 Shinji KONO if Filter contains L, prime filter is ultra
2020-06-15 Shinji KONO fix prime
2020-06-14 Shinji KONO ultra-filter P → prime-filter P done
2020-06-13 Shinji KONO ...
2020-06-13 Shinji KONO ...
2020-06-12 Shinji KONO ...
2020-06-12 Shinji KONO definition of filter
2020-06-07 Shinji KONO Added tag current for changeset 4fcac1eebc74 release
2020-06-07 Shinji KONO axiom of choice clean up release
2020-06-07 Shinji KONO ...
2020-05-10 Shinji KONO Added tag current for changeset 313140ae5e3d
2020-05-10 Shinji KONO clean up
2020-05-10 Shinji KONO minimal from LEM
2020-05-09 Shinji KONO ...
2020-05-09 Shinji KONO ...
2020-05-09 Shinji KONO ...
2020-05-09 Shinji KONO ...
2020-05-09 Shinji KONO ...
2020-05-09 Shinji KONO Added tag current for changeset d9d3654baee1
2020-05-09 Shinji KONO seperate choice from LEM
2020-05-09 Shinji KONO separate choice
2020-04-25 Shinji KONO Added tag current for changeset 29a85a427ed2
2020-04-25 Shinji KONO ε-induction
2020-01-11 Shinji KONO add documents
2019-12-31 Shinji KONO separate ordered pair and Boolean Algebra
2019-12-30 Shinji KONO fix incl
2019-10-06 Shinji KONO ...
2019-10-06 Shinji KONO disjunction and conjunction
2019-09-30 Shinji KONO ...
2019-09-30 Shinji KONO
2019-09-30 Shinji KONO ...
2019-09-30 Shinji KONO filter
2019-09-23 Shinji KONO ...
2019-09-23 Shinji KONO ...
2019-09-22 Shinji KONO CH trying ...
2019-09-17 Shinji KONO ε-induction from TransFinite induction
2019-09-05 Shinji KONO sup with limit give up
2019-09-04 Shinji KONO ...
2019-09-03 Shinji KONO ...
2019-08-30 Shinji KONO move product to OD
2019-08-29 Shinji KONO orderd pair and product release
2019-08-29 Shinji KONO Added tag current for changeset 2ea2a19f9cd6
2019-08-29 Shinji KONO ordered pair clean up
2019-08-29 Shinji KONO proudct uniquness done
2019-08-28 Shinji KONO give up product uniquness
2019-08-28 Shinji KONO ...
2019-08-28 Shinji KONO ...
2019-08-28 Shinji KONO ...
2019-08-27 Shinji KONO prod-eq done
2019-08-26 Shinji KONO fix pair
2019-08-25 Shinji KONO ...
2019-08-25 Shinji KONO new assumption
2019-08-25 Shinji KONO Product
2019-08-25 Shinji KONO ...
2019-08-25 Shinji KONO ...
2019-08-22 Shinji KONO ...
2019-08-21 Shinji KONO fix
2019-08-20 Shinji KONO ...
2019-08-19 Shinji KONO ZFProduct
2019-08-18 Shinji KONO ...
2019-08-16 Shinji KONO ...
2019-08-14 Shinji KONO fix cardinal
2019-08-13 Shinji KONO ac from LEM in abstract ordinal
2019-08-12 Shinji KONO function continue
2019-08-12 Shinji KONO axiomaized ordinals. filter and cardinal are incomplete release
2019-08-11 Shinji KONO Added tag current for changeset 1b1620e2053c
2019-08-11 Shinji KONO we need ordered pair
2019-08-11 Shinji KONO ...
2019-08-11 Shinji KONO try transfinite
2019-08-11 Shinji KONO ...
2019-08-11 Shinji KONO set theortic function definition using sup
2019-08-10 Shinji KONO does not work
2019-08-10 Shinji KONO recover ε-induction
2019-08-09 Shinji KONO sepration of ordinal from OD
2019-08-09 Shinji KONO TransFinite induction fixed
2019-08-08 Shinji KONO fix Ordinals
2019-08-07 Shinji KONO try to separate Ordinals
2019-08-07 Shinji KONO separate cardinal
2019-08-06 Shinji KONO try func
2019-08-05 Shinji KONO cardinal continue
2019-08-04 Shinji KONO Cardinal start
2019-08-02 Shinji KONO Ord< : {n : Level} { x y : Ordinal {suc n}} → y o< x → Ord x ∋ Ord y is bad decision
2019-08-02 Shinji KONO both
2019-08-02 Shinji KONO separate logic and nat
2019-08-01 Shinji KONO Added tag current for changeset 2c7d45734e3b
2019-08-01 Shinji KONO Axiom of choice from exclude middle release
2019-08-01 Shinji KONO axiom of choice from exclusive middle done
2019-08-01 Shinji KONO ∀-imply-or
2019-07-31 Shinji KONO ...
2019-07-31 Shinji KONO try again ..
2019-07-31 Shinji KONO ...
2019-07-31 Shinji KONO ...
2019-07-31 Shinji KONO Transfinite induction fixed
2019-07-31 Shinji KONO fixing transfinte induction...
2019-07-30 Shinji KONO ε-induction like loop again
2019-07-29 Shinji KONO ...
2019-07-29 Shinji KONO ε-induction again
2019-07-29 Shinji KONO curry form
2019-07-29 Shinji KONO another approach
2019-07-29 Shinji KONO transfinite
2019-07-29 Shinji KONO ...