<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-06-03 06:05:55Mathematics Ordinal numbers Set theory Proof theory General topology Jensen hierarchy Ordinal arithmetic Mathematical logic Symbol Constructible universe |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-06-03 06:05:55Mathematics Ordinal numbers Set theory Proof theory General topology Jensen hierarchy Ordinal arithmetic Mathematical logic Symbol Constructible universe |
Add to Reading List |
MFPS[removed]Continuity of Gödel’s system T definable