file.pdf (1.13 MB)
Download file

Semantic characterizations of number theories

Download (1.13 MB)
journal contribution
posted on 01.01.2009, 00:00 authored by Daniel Leivant
Abstract: "We show that a number-theoretic formula is a theorem of First-Order Arithmetic if and only it is true, as a statement about numbers, in all Henkin-structures that are closed under abstract jump (i.e. strict II1/1 definitions), and that a number-theoretic formula is a theorem of Arithmetic with existential induction if and only if it is true in all Henkin-structures that contain their abstract RE (i.e. strict-II1/1 definable) sets."

History

Date

01/01/2009

Usage metrics

Exports