On the set of ‘Meaningful’ sentences of arithmetic

Studia Logica 37 (3):237-241 (1978)
  Copy   BIBTEX

Abstract

I give several characterizations of the set V₀ proposed in [3] as the set of meaningful and true sentences of first order arthimetic, and show that in Peano arithmetic the Σ₂ completeness of V₀ is provable.

Categories

Keywords

Reprint years

DOI

10.1007/bf02124725

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.
On Wright’s Inductive Definition of Coherence Truth for Arithmetic.Jeffrey Ketland - 2003 - Analysis 63 (1):6-15.
Truth in V for Ǝ ∀∀-Sentences Is Decidable.D. Bellé & F. Parlamento - 2006 - Journal of Symbolic Logic 71 (4):1200 - 1222.
RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I).Janusz Czelakowski - 2023 - Studia Logica 111 (2):357-358.
On the Consistency of a Plural Theory of Frege’s Grundgesetze.Francesca Boccuni - 2011 - Studia Logica 97 (3):329-345.
On the Strength of Ramsey's Theorem.David Seetapun & Theodore A. Slaman - 1995 - Notre Dame Journal of Formal Logic 36 (4):570-582.
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.
Plural Grundgesetze.Francesca Boccuni - 2010 - Studia Logica 96 (2):315-330.
Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.

Analytics

Added to PP
2009-01-28

Downloads
65 (#327,911)

6 months
11 (#359,362)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.

Add more references