A Δ0 definition for finite sequences
Publication date
1992-09
Authors
Jumelet, M.D.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
Throughout the following we will be interested in the solution of the problem whether
finite sequences of natural numbers can be coded by means of Ao-formulae in such a
way that the theory IAo proves some basic facts about this way of coding.