User Natalie Clarius - Mathematics Stack Exchange

Natalie Clarius

Member for 7 years, 6 months
Last seen this week

nclarius.github.io
Tübingen, Germany

9 Questions

Score Activity Newest Views

0 votes

0 answers

30 views

Cover term for objects/functions/relations on a domain

asked Dec 16, 2020 at 16:42

0 votes

1 answer

334 views

Defining a lambda expression to swap the order of lambda abstractions

asked Oct 28, 2020 at 22:33

7 votes

2 answers

380 views

Introduction to logic starting with predicate logic

asked Aug 5, 2020 at 13:02

1 vote

3 answers

157 views

Shouldn't syntax definitions make use of "iff" rather than "if"?

asked Mar 30, 2017 at 13:48

2 votes

1 answer

551 views

Can a (directed) tree contain crossing lines?

asked Jan 24, 2017 at 18:15

13 votes

5 answers

9k views

Is this conception of countable vs. uncountable infinity adequate?

asked Jan 1, 2017 at 0:36

14 votes

1 answer

534 views

Is there a non-standard set theory that makes use of a null element?

asked Dec 9, 2016 at 22:18

4 votes

2 answers

280 views

Is it notationally appropriate to use $\in$ and $\subseteq$ in the quantificational part of a predicate logic statement?

asked Sep 9, 2016 at 14:40

1 vote

1 answer

1k views

Different definitions on closure under logical consequence

asked Jun 5, 2016 at 1:09