Math Forum

Math Forum http://mathforum.org/kb List of forum topics en Re: ALL(F):N->R is 2OL! NOT 1OL!!!!!! http://mathforum.org/kb/thread.jspa?messageID=7923422&tstart=0#7923422 > <= is definable using Peano Arithmetic
>
> A(n) 0 <= n
> A(m) A(n) s(m)<=s(n) ->]]> Nov 15, 2012 2:39:14 AM Nov 15, 2012 2:39:14 AM grahamcooper7@gmail.com 0 Re: ALL(F):N->R is 2OL! NOT 1OL!!!!!! http://mathforum.org/kb/thread.jspa?messageID=7923403&tstart=0#7923403 > ALL(A)[(EXISTS(w)(weA) AND EXISTS(x)]]> Nov 15, 2012 1:44:42 AM Nov 15, 2012 1:44:42 AM herc.is.here@gmail.com 1 Re: ALL(F):N->R is 2OL! NOT 1OL!!!!!! http://mathforum.org/kb/thread.jspa?messageID=7923404&tstart=0#7923404 ]]> Nov 15, 2012 1:44:41 AM Nov 15, 2012 1:44:41 AM 2 Re: ALL(F):N->R is 2OL! NOT 1OL!!!!!! http://mathforum.org/kb/thread.jspa?messageID=7923349&tstart=0#7923349 > On Nov 14, 3:28 am, Graham Cooper]]> Nov 14, 2012 10:12:43 PM Nov 14, 2012 10:12:43 PM grahamcooper7@gmail.com 0 Re: ALL(F):N->R is 2OL! NOT 1OL!!!!!! http://mathforum.org/kb/thread.jspa?messageID=7923351&tstart=0#7923351 ]]> Nov 14, 2012 10:12:42 PM Nov 14, 2012 10:12:42 PM 4 Re: ALL(F):N->R is 2OL! NOT 1OL!!!!!! http://mathforum.org/kb/thread.jspa?messageID=7922988&tstart=0#7922988 > On Nov 12, 4:13 pm, Graham Cooper]]> Nov 14, 2012 3:28:47 AM Nov 14, 2012 3:28:47 AM grahamcooper7@gmail.com 5 ALL(F):N->R is 2OL! NOT 1OL!!!!!! http://mathforum.org/kb/thread.jspa?messageID=7922989&tstart=0#7922989 ]]> Nov 14, 2012 3:28:46 AM Nov 14, 2012 3:28:46 AM 6