Just want to make sure. The nlab says coherent logic differs from geometric logic in that it only allows finite disjunctions. At the beginning of chapter X, Maclane and Moerdijk seem to define geometric formulas as the nlab defines coherent formulas.
So, by nlab conventions, should I replace 'geometric formula' by 'coherent formula' throughout the book?
Yes, you should. The Elephant uses the same convention as the nLab, by the way.