A theory of formal truth arithmetically equivalent to ID1

descriptionPublicationkeyboard_double_arrow_right Article 01 Mar 1990 Italy English Publisher:Cambridge University Press (CUP)Journal:Journal of Symbolic Logic, volume 55, pages 244-259 (issn: 0022-4812, eissn: 1943-5886,

Copyright policy )

Authors: CANTINI, ANDREA;

doi: 10.2307/2274965

handle: 2158/205066

A theory of formal truth arithmetically equivalent to ID1

- Summary
- Subjects
- Metrics

Abstract

AbstractWe present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID1, have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.

Country

Italy

Related Organizations

University of Florence
Italy

Keywords

First-order arithmetic and fragments, fragment of Peano arithmetic, elementary inductive definitions, partial truth over Peano arithmetic, Gödel numberings and issues of incompleteness, Gödel numbering

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	87
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average