Diagonal argument applied to computable numbers
116135
A paradox related to computable reals?
52260
Diagonalization and eigenvalues
60722
Why does Cantor's diagonal argument not work for rational numbers?
130149
Computablility of a real number
57089
Class of functions computable by Coq
85072
A "reverse" diagonal argument?
3217
Construction of uncountably many non-isomorphic linear (total) orderings of natural numbers
20486
Numbers representable as $x^2 + 2y^2$
47653
Cantor diagonalization and fundamental theorem
80751
diagonalisability of matrix few properties
86893
Show that it is impossible to list the rational numbers in increasing order
3682
If $V = \text{null}(\textsf{T}-\lambda\textsf{I}) \oplus \text{range}(\textsf{T}-\lambda\textsf{I})$, then prove that $\textsf{T}$ is diagonalizable
47720
Isomorphism from Natural numbers to the Odd Natural numbers
156660
The set of all strictly increasing sequences of natural numbers
36325
Embedding ordinals in $\mathbb{Q}$
69875
Prove the commutativity property of addition of natural numbers by induction
117047
exponentiation of cardinal number