@article{article, title = {{Some remarks on extending bar induction}}, url = {{}}, year = {{1983}}, month = {{1}}, author = {{Grayson RJ and Moerdijk I}}, volume = {{45}}, journal = {{Indagationes Mathematicae}}, issue = {{3}}, pages = {{315-318}}, note = {{Accessed on 2024/12/22}}}