User blog:O0112111/Uncomputable Number

We denote by n

1. the first critical point of an embedding  j:A⊂P(ℕ)↦ℕ  2.if there is no such embedding then n=0