Back to Results
First PageMeta Content
Mathematics / Proof theory / Ordinal arithmetic / Curry–Howard correspondence / Constructible universe / Sheaf / Ordinal number


Cupping ∆02 enumeration degrees to 0e Mariya Ivanova Soskova1
Add to Reading List

Document Date: 2007-04-20 07:18:18

Open Document

File Size: 201,52 KB

Share Result on Facebook
UPDATE