Skip to main content
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger
  • Member for 13 years, 3 months
  • Last seen this week
16 votes
1 answer
2k views

Generating functions for context-free languages

9 votes
1 answer
384 views

Combinatorics of term algebras

7 votes
3 answers
4k views

Does every prime ideal in a ring arise as kernel of a homomorphism into $\mathbb{Z}$?

4 votes
1 answer
423 views

Decidability of quantifier-free formulae in Peano- and True Arithmetic

3 votes
1 answer
110 views

Symmetries on sets of strings

3 votes
1 answer
110 views

Iterating until a diagram commutes

2 votes
0 answers
29 views

Terminology: probabilistic generalisations of substitutions

2 votes
1 answer
751 views

Contravariant powerset functor and cartesian closedness

2 votes
0 answers
157 views

'Refinements' of graphs

2 votes
1 answer
270 views

Is (im)predicativity decidable

1 vote
1 answer
98 views

Partial order version of elementary equivalence

1 vote
1 answer
90 views

Terminology: vertices in every cycle in a graph?

0 votes
1 answer
46 views

Terminology: lifting a probability distribution along a function