International comparative research in mathematics education has found, perhaps unsurprisingly, that teachers are a key influence on pupil learning. Given that the development of pupils’ capability in geometrical reasoning continues to be an issue of considerable international concern, this paper reports an analysis of lower secondary school lesson suggestions offered by expert teachers from Chi...

Let L be a free Lie algebra over a field k, I a non-trivial proper ideal of L, n > 1 an integer. The multiplicator H2(L/I , k) of L/I is not finitely generated, and so in particular, L/I is not finitely presented, even when L/I is finite dimensional.

We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented.