Lecture 20

Definitions of MA and AM
NP^BPP in MA in AM in NP^BPP
NP in BPP implies PH in BPP
MA in Π^P₂
AM in Σ^P₂
AM and MA with perfect completeness (no error if x in L)
Some details in Section 2 of Katz Notes