How to write there exists exactly 1 x in a domain with property p without the unique quantifier?
17224
Write ‘There is exactly 1 person…’ without the uniqueness quantifier
111406
Proving that a definition of e is unique
88281
Mixing and Distributing Qualifiers ($\forall x$, $\exists x$)
19954
Perfect set without rational numbers
150605
Existence of a regular uncountable $\aleph_{\alpha}$ without $\mathsf{AC}$
18108
Show if $(a,p)=1$ there is a unique inverse of $a$ modulo $p$
99064
Uncountable set with exactly one limit point
131847
$\frac{(x-1)(x+1)}{ (x+1)} \rightarrow (x-1)$ Domain Change
71479
Is there some elementary proof of invariance of domain?
141078
Domain over which a polynomial is strictly positive
148790
Basic question about proofs with the goal $\exists x P(x)$
67490
Restricing domains for universal and existential quantifiers
44100
Prove that identity element is unique
25897
Custom unique constraint, only enforced if one column has a specific value
16198
LINQ's Distinct() on a particular property
89473
Uniqueness of minimal polynomial: $f(x)$ divides $g(x)$
3119
Distribution of Universal Quantifiers