0

Let B be the set of all infinite cardinals b such that $b^2 = b$.

I need to show that this function:

$$λb ∈ B.ιx (x^b = 2^b) and (∀c.(c>x) → (c^b > 2^b))$$

is well defined. It seems like everything I try doesnt hold $c^b > 2^b$

Ideas?

Thanks.

user401516
  • 2,383
  • 1
    Edit your question using http://meta.math.stackexchange.com/questions/5020/mathjax-basic-tutorial-and-quick-reference –  Dec 31 '16 at 10:30
  • You're using the (awful, imo) notation for function from lambda calculus. Experience shows that chances are not many mathematicians around this place either know or else really like this notation. If you can put your question without that notation I think there's a better chance more people will understand/like it and you could get, probably, more help. – DonAntonio Dec 31 '16 at 10:37
  • See my answer to your later question.\ – Brian M. Scott Jan 02 '17 at 04:59

0 Answers0