Definition: $a \prec b$ , $ a \npreceq b$ , $a,b \in \mathbb{R}$
31846
Does $\neg(x > y)$ imply that $y \geq x$?
130381
bijection from $(a,b)$ to $\Bbb R$
18126
If $f \colon [a,b] \rightarrow \mathbb{R}$, then show that there exists $c \in [a,b]$ such that $\int_a^c f = \int_c^b f$
157924
$\forall x\in\mathbb{N}[(\exists y\in\mathbb{N}(2\leq y\land y<x\land y\ |\ x))\to(\exists z\in\mathbb{N}(2\leq z\land z\leq\sqrt x\land z\ |\ x))]$
132971
Prove that $|a| < b \iff -b<a<b$
55461
How to prove that if $a$ belongs to $\mathbb R$, such that $0\leq a \leq\epsilon$, then $a = 0$
6788
Let $(a,b)$ and $(c,d)$ be intervals in $\Bbb R$, and find an injective and surjective function from $(a,b)$ to $(c,d)$
124742
P(A|C)=P(A|B)*P(B|C)?
39880
Cardinality of Orderings of $\mathbb{R}$
9700
Consider the subset $B=\{(x,y):x^2+y^2\leq 1\}\ \subseteq \mathbb{R}^2$. Show that $\vert B \vert = \vert \mathbb{R}^2 \vert$.
105772
Definition of $\mathbb{R}^\infty$
53101
Is it true that the relation |A| < |B| is a sufficient condition for claiming that $f$ is a bijection?
100844
How should I understand "$A$ unless $B$"?
13064
In what order are chained implications evaluated? (i.e. $a \implies b \implies c$)
130297
$A$ be a subset of $[0,1]$ with non-empty interior ; then is it true that $\mathbb Q+A=\mathbb R$?
65297
Proof that for $a,b,c\in \mathbb{R}$, hold that $\left |\sqrt {a^2+b^2}-\sqrt {a^2+c^2} \right |\leq \left |b-c \right |$.
62172
Why does $-b < a < b \iff |a| < b$?