Back to Results
First PageMeta Content
Proof theory / Computability theory / Reverse mathematics / Second-order arithmetic / Ordinal number / Constructible universe / Axiom / Mathematical logic / Logic / Mathematics


Background Hyperarithmetic analysis New statements
Add to Reading List

Document Date: 2010-01-12 23:03:20


Open Document

File Size: 629,73 KB

Share Result on Facebook
UPDATE