# Tagged Questions

**7**

votes

**2**answers

284 views

### Is there a general result that theorems about finite structures proved in ZFC can be proved in ZF?

The title question is too vague so let me be specific.
Much of modern finite semigroup theory uses profinite semigroups and properties of profinite semigroups that depend on the existence of prime ...

**0**

votes

**1**answer

126 views

### Small set of acts over a countable monoid?

Given a countable monoid $S$, is the set of all (isomorphic representatives of) $S$-acts a small set?