Is the class of power-associative algebras finitely axiomatizable?
139992
Is power-associativity finitely axiomatizable?
150206
Every finitely generated algebra over a field is a Jacobson ring
36626
Multiplication cancellation property by Peano axioms
63390
Infinite algebraic extensions of $\mathbb{Q}$
30587
Uncountable well ordered set in $Z^-$ theory.
54377
Complementability of von Neumann algebras
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
29744
Compactness and axiomatisability
33894
How many chains are there in a finite power set?
42652
Must $k$-subalgebra of $k[x]$ be finitely generated?
40937
Is the set of partial order relations over $ \mathbb{N}$ countable?
55764
Algebraic closure of $\mathbb F_p$
127029
Ring of formal power series finitely generated as algebra?
56370
Associative operation on a set $S$
144735
Possible cardinality of power sets
148824
Is associative binary operator closed on this subset?
93111
Finiteness of the Algebraic Closure