Atomic domain that doesn't satisfy ACCP
89970
Example of FD not satisfying ACCP
152165
Why is there no function with a nonempty domain and an empty range?
150498
Why a mono-atomic crystal layer (2D) can't be stable?
57435
Type inference with GADTs - a0 is untouchable
83871
GCDs in integral domains are unique up to unit factors (associates)
143760
Non-volatile cache RAID controllers: what kind of protection is there against NVCACHE failure?
135152
Non-UFD integral domain such that prime is equivalent to irreducible?
39202
Incompatible AES implementations?
75254
Properties possessed by $H , G/H$ but not G
68917
gray code clock domain crossing FIFO fast to slow
13961
An example of a lattice that's not totally ordered
153277
When is $Ar(APD)=Ar(ABCD)$?
85232
Locking a vertex group from modification
131592
Finite choice without AC
147834
"need not to be neither atomic nor ordered"
132365
Why is absolute value function not a polynomial?
1508
How do I prove that a definition of an ordered pair does not satisfy the required property?