changeset | 94392feeebc5 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | add Topology |
files |
changeset | 9b0630f03c4b |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 47aacf417930 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | f7d66c84bc26 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | cc7909f86841 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | remvoe TransFinifte1 |
files |
changeset | 44a484f17f26 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | syntax *, &, ⟪ , ⟫ |
files |
changeset | cb067605fea0 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 53422a8ea836 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | bijection |
files |
changeset | f464e48e18cc |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | b737a2e0b46e |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 853ead1b56b8 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 6c72bee25653 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 12071f79f3cf |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | HOD done |
files |
changeset | d9d3654baee1 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | seperate choice from LEM |
files |
changeset | 6f10c47e4e7a |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | separate choice fix sup-o |
files |
changeset | 29a85a427ed2 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ε-induction |
files |
changeset | 985a1af11bce |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | separate ordered pair and Boolean Algebra |
files |
changeset | 63df67b6281c |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 53b7acd63481 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | move product to OD |
files |
changeset | 2ea2a19f9cd6 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ordered pair clean up |
files |
changeset | 0446b6c5e7bc |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | proudct uniquness done |
files |
changeset | 8a58e2cd1f55 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | give up product uniquness |
files |
changeset | 9e0125b06e76 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 08428a661677 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 2ecda48298e3 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 9fd85b954477 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | prod-eq done |
files |
changeset | d09437fcfc7c |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | fix pair |
files |
changeset | 3506f53c7d83 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | f0f9aede682f |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | new assumption |
files |
changeset | 0bd498de2ef4 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | Product |
files |
changeset | f97a2e4df451 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | c10048d69614 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | ccc84f289c98 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | c76c812de395 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | fix |
files |
changeset | b6d80eec5f9e |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | a8c6239176db |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ZFProduct |
files |
changeset | 521290e85527 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 650bdad56729 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 846e0926bb89 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | fix cardinal |
files |
changeset | e06b76e5b682 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ac from LEM in abstract ordinal |
files |
changeset | af60c40298a4 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | function continue |
files |
changeset | 1b1620e2053c |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | we need ordered pair |
files |
changeset | 5e36744b8dce |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 49736efc822b |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | try transfinite |
files |
changeset | a4cdfc84f65f |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 176ff97547b4 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | set theortic function definition using sup |
files |
changeset | 5f48299929ac |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | does not work |
files |
changeset | afc864169325 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | recover ε-induction |
files |
changeset | 43021d2b8756 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | separate cardinal |
files |