A Δ0 definition for finite sequences
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 codingSimilar works
Full text
Last time updated on 14/06/2016
This paper was published in Utrecht University Repository.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.