Bjorn Ian Dundas

I think I have managed to not use "section". Don't feel strongly about this, but the term MAY be alienating so I have instinctively avoided it.

To me that'd suggest independent pi. I don't use a special word for it (as for elements in so many other types), But again I don't have a strong opinion...

The mere thought of it makes me shudder, speak not of the discomfort I’d experience were I forced to utter such sentences myself. ‘Mere possession’ can indicate lack of control,...

I hate my spell checker! It's only redeeming feature is it's consistency. Bjorn On 5 Sep 2022, at 06:21, Bjørn Ian Dundas ***@***.***> wrote:  The mere thought of it...

I have a problem finding a place I can talk that still has passable wifi (my office mate is unfortunately not gone yet) so don't wait for me and excuse...

Hi, it turns out that many have a problem with meeting Thursday September 29. I propose we skip this meeting. Best, Bjorn > On Sep 22, 2022, at 16:13, Bjørn...

Yes, I think so too. Bjorn On 28 Sep 2022, at 18:41, Daniel R. Grayson ***@***.***> wrote:  So, are we skipping tomorrow's meeting? — Reply to this email directly,...

That may be, but a certain redundancy makes natural language (as well as code) more robust, so it may still serve a purpose. Bjorn On 25 Aug 2022, at 14:18,...

I’m not sure if I follow your objection, but to me, if $A$ is a connected type, saying that ”any two terms in $A$ are merely equal” is fine (and...

Ah, I found the problem. New computer and old zoom. I’m upgrading > On Aug 25, 2022, at 15:22, Bjørn Ian Dundas ***@***.***> wrote: > > I’m not sure if...