Related Searches
Definitions
First-order_arithmetic
First-order_arithmetic

First-order arithmetic
See Peano axioms
Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Wednesday August 16, 2006 at 18:20:48 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Related Articles
New Computer Science Research from University of Saarland Outlined.
Jun 21, 2011; According to recent research published in the journal Logical Methods in Computer Science, "In deduction modulo, a theory is not...
Read more with a free trial on HighBeam.com »
Studies from Shaheed Beheshti University of Medical Sciences Provide New Data on Mathematical Logic.(Report)
Aug 02, 2011; "In this paper we define a suitable version of the notion of homomorphism for Kripke models of intuitionistic first-order logic...
Read more with a free trial on HighBeam.com »
Studies from M. Moniri and co-researchers update current data on mathematical logic.(Report)
May 21, 2010; "In this paper we prove conservation theorems for theories of classical first-order arithmetic over their intuitionistic version....
Read more with a free trial on HighBeam.com »
HighBeam Research, Inc. © Copyright 2009.

Search another word or see First-order_arithmeticon Dictionary | Thesaurus |Spanish
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT