On Logical Sentences in PA

Saharon Shelah

doi:10.1016/S0049-237X(08)71815-9

On Logical Sentences in PA

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

6 Scopus citations

Abstract

The chapter discusses the Paris–Harrington partition theorem (PH), which is used to prove the consistency of Peano arithmetic (PA). A finitary π⁰₂ combinatorial principle capturing π¹₁-CA_O, based on end-homogeneity instead of homogeneity is presented._. The method of producing theories with incomparable and equal consistency strength along is demonstrated along with examples.

Original language	English
Pages (from-to)	145-160
Number of pages	16
Journal	Studies in Logic and the Foundations of Mathematics
Volume	112
Issue number	C
DOIs	https://doi.org/10.1016/S0049-237X(08)71815-9
State	Published - 1 Jan 1984

Access to Document

10.1016/S0049-237X(08)71815-9

Cite this

@article{b29e9889bc994c62bf430c16f70f7bb0,

title = "On Logical Sentences in PA",

abstract = "The chapter discusses the Paris–Harrington partition theorem (PH), which is used to prove the consistency of Peano arithmetic (PA). A finitary π02 combinatorial principle capturing π11-CAO, based on end-homogeneity instead of homogeneity is presented.. The method of producing theories with incomparable and equal consistency strength along is demonstrated along with examples.",

author = "Saharon Shelah",

year = "1984",

month = jan,

day = "1",

doi = "10.1016/S0049-237X(08)71815-9",

language = "אנגלית",

volume = "112",

pages = "145--160",

journal = "Studies in Logic and the Foundations of Mathematics",

issn = "0049-237X",

publisher = "Elsevier B.V.",

number = "C",

}

TY - JOUR

T1 - On Logical Sentences in PA

AU - Shelah, Saharon

PY - 1984/1/1

Y1 - 1984/1/1

N2 - The chapter discusses the Paris–Harrington partition theorem (PH), which is used to prove the consistency of Peano arithmetic (PA). A finitary π02 combinatorial principle capturing π11-CAO, based on end-homogeneity instead of homogeneity is presented.. The method of producing theories with incomparable and equal consistency strength along is demonstrated along with examples.

AB - The chapter discusses the Paris–Harrington partition theorem (PH), which is used to prove the consistency of Peano arithmetic (PA). A finitary π02 combinatorial principle capturing π11-CAO, based on end-homogeneity instead of homogeneity is presented.. The method of producing theories with incomparable and equal consistency strength along is demonstrated along with examples.

UR - http://www.scopus.com/inward/record.url?scp=0013295029&partnerID=8YFLogxK

U2 - 10.1016/S0049-237X(08)71815-9

DO - 10.1016/S0049-237X(08)71815-9

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0013295029

SN - 0049-237X

VL - 112

SP - 145

EP - 160

JO - Studies in Logic and the Foundations of Mathematics

JF - Studies in Logic and the Foundations of Mathematics

IS - C

ER -

On Logical Sentences in PA

Abstract

Access to Document

Other files and links

Fingerprint

Cite this