Login / Signup

Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.

Kentaro Sato
Published in: Arch. Math. Log. (2022)
Keyphrases