Analysis of Martin-Harrington Theorem in Higher Order Arithmetic
Ph.D
Saved in:
Main Author: | CHENG YONG |
---|---|
Other Authors: | MATHEMATICS |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/36557 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
Similar Items
-
On Silver's Dichotomy
by: LI YANFANG
Published: (2012) -
On Martin's pointed tree theorem
by: Hölzl R., et al.
Published: (2020) -
Theorem Proving in Higher Order Logics
by: Hutchison, David
Published: (2017) -
Arithmetical sacks forcing
by: Downey, R., et al.
Published: (2014) -
Vinogradov's theorem and its generalization on primes in arithmetic progression
by: WONG WEI PIN
Published: (2010)