Loading...

The de jongh property for basic arithmetic

Ardeshir, M ; Sharif University of Technology

122 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/s00153-014-0394-7
  3. Abstract:
  4. We prove that Basic Arithmetic, BA, has the de Jongh property, i.e., for any propositional formula A(p1,..., pn) built up of atoms p1,..., pn, BPC(Formula presented.)A(p1,..., pn) if and only if for all arithmetical sentences B1,..., Bn, BA(Formula presented.)A(B1,..., Bn). The technique used in our proof can easily be applied to some known extensions of BA
  5. Keywords:
  6. Basic arithmetic ; Basic predicate logic ; De Jongh property
  7. Source: Archive for Mathematical Logic ; 2014 ; ISSN: 09335846
  8. URL: http://link.springer.com/article/10.1007%2Fs00153-014-0394-7