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