I seem to recall a result that says any set of axioms can be converted to a set of equivalent axioms that use only binary predicates and constants. Can anyone point me to that result?
Asked
Active
Viewed 88 times
2
-
1See George Boolos & John Burgess & Richard Jeffrey,Computability and Logic (5th e]d - 2007), Ch.21.3 Dyadic Logic, page 275. – Mauro ALLEGRANZA Nov 15 '15 at 13:53
-
Thank you so very much. Do you have a reference by any chance that I can see online – dan b Nov 15 '15 at 19:08
-
You can try with the previous edition (2002). – Mauro ALLEGRANZA Nov 15 '15 at 19:17