Sciweavers

FCS
2008

A Finitary Model of Peano Arithmetic

13 years 5 months ago
A Finitary Model of Peano Arithmetic
We define a finitary model of first-order Peano Arithmetic in which satisfaction and quantification are interpreted constructively in terms of Turing-computability.
Bhupinder Singh Anand
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where FCS
Authors Bhupinder Singh Anand
Comments (0)