TY  - JOUR

T1  - Some remarks on extending bar induction

JO  - Indagationes Mathematicae

PY  - 1983/12/01

AU  - Grayson RJ

AU  - Moerdijk I

ED  - 

VL  - 45

IS  - 3

SP  - 315

EP  - 318

Y2  - 2025/12/08

ER  -