[FOM] Is exponentiation constructive?

Giovanni Lagnese lagnese at ngi.it
Sat Feb 25 21:55:35 EST 2006

Previous message: [FOM] Finite to Infinite: an alternative approach
Next message: [FOM] automorphisms of hyperreals [FROM ALI ENAYAT]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I have never understood why set-exponentiation (like in Martin Loef's Type 
Theory) is constructive.
I would discuss this topic here.

GL

Previous message: [FOM] Finite to Infinite: an alternative approach
Next message: [FOM] automorphisms of hyperreals [FROM ALI ENAYAT]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list