diff options
author | David A. Madore <david+git@madore.org> | 2013-02-06 18:54:23 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2013-02-06 18:54:23 +0100 |
commit | ddaf9455a44bbb3ee47aa7721f7197adf6b08d50 (patch) | |
tree | ea072e439933cbde3fa481f9ea3f15c617f977d6 /vc | |
parent | ba531178391b854e05b03cb6c38a88fb19dc733b (diff) | |
download | ordinal-zoo-ddaf9455a44bbb3ee47aa7721f7197adf6b08d50.tar.gz ordinal-zoo-ddaf9455a44bbb3ee47aa7721f7197adf6b08d50.tar.bz2 ordinal-zoo-ddaf9455a44bbb3ee47aa7721f7197adf6b08d50.zip |
Give proof of the fact that (++)-stable ordinals are Σ¹₁-reflecting.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions