
Limited time only! Sign up for a free 30min personal tutor trial with Chegg TutorsDismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!
Decidability of 1<1/0<1 using the ordered field axioms and first order logic
Loading...
Similar Threads for Decidability using ordered  Date 

Quick question about linearization using the small angle method  Mar 21, 2018 
I Which x_0 to use in a Taylor series expansion?  Feb 19, 2018 
Decide the linear interpolant  Dec 11, 2015 
Deciding on a proper graphing calculator window?  Mar 12, 2014 
Decidability of Presburger arithmetic and FOL  Mar 11, 2008 