For every set there is a wellorder that cannot be injected in X (without using Replacement)
30587
Uncountable well ordered set in $Z^-$ theory.
126793
no room for new \count error
110417
What can go wrong using the same sequence across multiple tables in postgres?
79105
Expand series unevaluated
46986
No group of order 400 is simple
101095
Constructing an example s.t. $\operatorname{Hom}_R(M,N)$ is not finitely generated
14512
Why cannot a set be its own element?
135228
automapper how to ignore property in source item that does not exist in destination
121860
Number of well-ordering relations on a well-orderable infinite set $A$?
49276
Why don't you need the Axiom of Choice when constructing the "inverse" of an injection?
65467
ElGamal in private set intersection: how to handle negative numbers?
22482
How can an ordered pair be expressed as a set?
120023
Inserting with implicit type conversion causes warning for cardinality estimates
21232
How do I reset a sequence in Oracle?
59070
How to create a deep unmodifiable collection?
75200
How to unprotect GeneratingFunction
152613
Injection from $\mathbb{N}\to\{0,1\}$ to the set of all monotonic decreasing functions from $\mathbb{N}\to\mathbb{Z}$