𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hilbert's tenth problem for weak theories of arithmetic

✍ Scribed by Richard Kaye

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
779 KB
Volume
61
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Undecidable and decidable restrictions o
Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions
✍ Mihai Prunescu πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 112 KB

## Dedicated to Professor GΓΌnter Asser on the occasion of his eightieth birthday Classical results of additive number theory lead to the undecidability of the existence of solutions for diophantine equations in given special sets of integers. Those sets which are images of polynomials are covered

Independence results for weak systems of
Independence results for weak systems of intuitionistic arithmetic
✍ Morteza Moniri πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 112 KB

## Abstract This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds

Hilbert's 16-th problem for quadratic ve
Hilbert's 16-th problem for quadratic vector fields and cyclicity of graphics
✍ Christiane Rousseau πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 502 KB

We discuss here a method of proof of the existential part of Hilbert's 16th problem for quadratic vector fields initiated in 1991 [7]. The program consists in proving the finite cyclicity of 121 graphics appearing among quadratic systems. We briefly summarize some of the methods introduced for that