Finitely generated monoids- axiomatization- compactness theorem.
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
139337
Ultrafilter Lemma implies Compactness/Completeness of FOL
47544
A mathematically mature introduction to Turing Machines and Computability [reference-request]
132837
Show that any monotone boolean function can be realize by the following connectives.
31389
consistency of ZF\{Power Set axiom}
35408
What is the correct name for a "product function" on a monoid?
115574
Finitely presented group with fewer relations than generators.
107772
Separability of functions with compact support
6755
A finite, cancellative semigroup is a group
95831
Compactness and sequential compactness in metric spaces
12404
Union of definable sets
79478
Name for categorical product inside a monoid
138273
Terminology for a monoid with a total ordering on the elements?
85398
$\mathsf{ZF}$ is not finitely axiomatizable
121141
Proving Finiteness of Group from Presentation
66134
Sufficiently many idempotents and commutativity
101993
The cardinality of a language over a set of variables $V$ with $\#V= κ$