Recover the two-sided properties from a right-sided identity axiom and a left-sided inverse axiom
19683
Is a semigroup $G$ with left identity and right inverses a group?
20252
The Axiom of Choice and the Cartesian Product.
137921
Reflexivity, Transitivity, Symmertry of the square of an relation
103695
Prove Inverses not need be Unique if Associativity fails
89506
Union of disjoint sets : Equivalence relations
76347
Shorter proof for some equvalences
72391
linear dependence proof using subsets
143646
Is it possible to prove reflexive, symmetric and transitive properties of equality and the transitive property of inequality?
32081
The dual version of trichotomy of cardinality without AC
152685
Parallel postulate from Playfair's axiom
109649
idempotents acting as local identities
57105
Probs. 12 & 13 , Sec. 2.3, in Herstein's TOPICS IN ALGEBRA, 2nd ed: Existence of only right-sided identity and right-sided inverses suffice
31389
consistency of ZF\{Power Set axiom}
17624
Axiom of Choice iff Every set has a choice function
65308
Axiom of Choice: Family of non-empty sets mutually disjoint or not?
87928
Proof of logical equivalence of biconditional and other proposition
83757
Is the following equivalent to the axiom of choice?