[FOM] Predicative Set Theory

Zuhair Abdul Ghafoor Al-Johar zaljohar at yahoo.com
Thu Jun 21 07:35:53 EDT 2012

Dear Sirs,

 The following is a theory defined in L(w1,w) where L is first order logic with equality and membership, that I think it to be equi-interpretable to a subset of second order arithmetic stronger than PA. It is Categorical ! something that its finitary counterparts are not. Of course the main feature is that it forms infinite sets in a predicative manner. The expressive power of this theory is of course much stronger than its finitary counterparts. So it combines Predicativity, Expressiveness and Categoricity and is defined in a complete (and implicationally complete) logical language that admits provability.

The exposition of this theory is present at: http://zaljohar.tripod.com/predicative.txt

Best regards

Zuhair Al-Johar

More information about the FOM mailing list