Login / Signup

Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.

Kentaro Sato
Published in: Ann. Pure Appl. Log. (2020)
Keyphrases