Login / Signup

Forcing for hat inductive definitions in arithmetic.

Kentaro Sato
Published in: Math. Log. Q. (2014)
Keyphrases