Usenet.com

www.Usenet.com

Group Index

Sci Thread Archive from Usenet.com

<-- __Chronological__ --> <-- __Thread__ -->

What is abbreviation power?

Harvey Friedman in his posts to FOM sometimes talks of theories like
ZFC or PA "with abbreviation power". I was wondering if anyone could
explain what this is.

<-- __Chronological__ --> <-- __Thread__ -->


Usenet.com



Please check out one of the premium Usenet Newsgroup Service Providers below for access to Usenet.