Strong Counterexample to MVT on Q
139101
Strong Counterexample to MVT on Q
39406
Continuity $\Rightarrow$ Intermediate Value Property. Why is the opposite not true?
74278
give a counterexample of monoid
18125
Counterexamples to the converse to Lagrange's Theorem different from $A_{4}$.
5035
Can unprovability unprovable? Is there an $\omega$-fold unprovability?
152856
Using $p\supset q$ instead of $p\implies q$
103088
ValueQ returns false positive for one argument type only
126476
Is there a complete IEquatable implementation reference?
85032
$Q(\mathbb{Z}[t]) / \mathbb{Z}[t]$ is not injective
142762
how to prove that (P⊃Q)≡(¬Q⊃¬P) ( P ⊃ Q ) ≡ ( ¬ Q ⊃ ¬ P ) is disallowed in intuitionistic logic?
152685
Parallel postulate from Playfair's axiom
50178
\qed for theorems without proofs
108408
Example of quotient mapping that is not open
72185
The negation of a limit condition, Spivak style.
116045
Is this a counterexample to "continuous function...can be drawn without lifting" ? (Abbott P111 exm4.3.6)
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
62958
Maximize $\mathrm{tr}(Q^TCQ)$ subject to $Q^TQ=I$