Advertisement

On ΣN-Definability in Arithmetic

  • J. Borrego-Diaz
  • A. Fernández-Margarit
  • M. J. Pérez-Jimenez
Chapter
Part of the Synthese Library book series (SYLI, volume 320)

Abstract

Under certain assumptions, the structures K n +1(M ; X) and I n +1 (M ; X) satisfy that
$${K_{n + 1}}\left( {M;X} \right)\;\left| { = I\sum {_n + \;\neg B\sum {_{n + 1}\;and\;{I_{n + 1}}\left( {M;X} \right)\;\left| { = B\sum {_{n + 1} + \neg I\sum {_{n + 1}} } } \right.} } } \right.$$

Keywords

Initial Segment Functional Description Peano Arithmetic Incompleteness Theorem Elementary Substructure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clôte, P. G. (1983). Partition relations in arithmetic. Lecture Notes in Mathematics, 1130: 32–68.CrossRefGoogle Scholar
  2. Fernández-Margarit, A. and Pérez-Jiménez, M. J. (1994). Maximum schemes in arithmetic. Mathematical Logic Quarterly, 40: 425–430.CrossRefGoogle Scholar
  3. Graciani, M. C., Pérez-Jiménez, M. J., Romero, A., and Sancho, F. (2000). Initial segment maximal En-definable sets in fragments of arithmetic. The Yearbook of the Kurt Gödel Society. Forthcoming.Google Scholar
  4. Hâjek, P. and Pudlâk, P. (1993). Metamathematics of First-Order Arithmetic Springer Verlag.Google Scholar
  5. Kaye, R. (1991). Models of Peano Arithmetic, volume XV of Oxford Logic Guides. Clarendon Press, Oxford.Google Scholar
  6. Paris, J. and Kirby, L. (1978). En-collection schemas in arithmetic. Logic Colloquium’77, pp. 199–209.Google Scholar
  7. Pérez-Jiménez, M. J. (1992). Esquema,s del Mcíximo en la Aritmética. Doctoral Thesis. Universidad de Sevilla.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2003

Authors and Affiliations

  • J. Borrego-Diaz
    • 1
  • A. Fernández-Margarit
    • 1
  • M. J. Pérez-Jimenez
    • 1
  1. 1.Computer Science and Artificial IntelligenceUniversity of SevilleSpain

Personalised recommendations