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 |
...
|