Matches in SemOpenAlex for { <https://semopenalex.org/work/W1577881803> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1577881803 abstract "In this paper we show that the theories Peano Corto (or: PA↓↓ := I(Σ∞, Σ1,0)) and Peano Basso (or: PA↓ := I(Σ∞, Σ1,1)), two theories of local induction, are locally cut-interpretable in the basic arithmetic PA−. We prove a number of theorems about Peano Corto and Peano Basso. We provide some insights that illustrate that these theories are in many respects analogues of full Peano Arithmetic PA. The theory PA↓↓ extends the theory of parameter-free Π1-induction, IΠ−1 . Hence, IΠ−1 is locally cut-interpretable in PA−. We will draw a number of consequences of this fact for IΠ−1." @default.
- W1577881803 created "2016-06-24" @default.
- W1577881803 creator A5056284600 @default.
- W1577881803 date "2012-08-20" @default.
- W1577881803 modified "2023-09-26" @default.
- W1577881803 title "Peano Basso and Peano Corto" @default.
- W1577881803 cites W1500518094 @default.
- W1577881803 cites W1513644114 @default.
- W1577881803 cites W1517710889 @default.
- W1577881803 cites W1571776026 @default.
- W1577881803 cites W1572451808 @default.
- W1577881803 cites W1953960400 @default.
- W1577881803 cites W1992704116 @default.
- W1577881803 cites W2007738947 @default.
- W1577881803 cites W2011612028 @default.
- W1577881803 cites W2015690845 @default.
- W1577881803 cites W2022073203 @default.
- W1577881803 cites W2030109211 @default.
- W1577881803 cites W2052127763 @default.
- W1577881803 cites W2058640874 @default.
- W1577881803 cites W2062842033 @default.
- W1577881803 cites W2076428131 @default.
- W1577881803 cites W2078269136 @default.
- W1577881803 cites W2079956582 @default.
- W1577881803 cites W2085677228 @default.
- W1577881803 cites W2123447690 @default.
- W1577881803 cites W2123633463 @default.
- W1577881803 cites W2130354981 @default.
- W1577881803 cites W2166308559 @default.
- W1577881803 cites W2169685450 @default.
- W1577881803 cites W2327086735 @default.
- W1577881803 cites W2346547697 @default.
- W1577881803 cites W2573016414 @default.
- W1577881803 cites W2576868155 @default.
- W1577881803 cites W2598707475 @default.
- W1577881803 cites W625403901 @default.
- W1577881803 cites W78460491 @default.
- W1577881803 cites W970675342 @default.
- W1577881803 cites W1980167452 @default.
- W1577881803 hasPublicationYear "2012" @default.
- W1577881803 type Work @default.
- W1577881803 sameAs 1577881803 @default.
- W1577881803 citedByCount "2" @default.
- W1577881803 countsByYear W15778818032014 @default.
- W1577881803 crossrefType "journal-article" @default.
- W1577881803 hasAuthorship W1577881803A5056284600 @default.
- W1577881803 hasConcept C118615104 @default.
- W1577881803 hasConcept C146147875 @default.
- W1577881803 hasConcept C33923547 @default.
- W1577881803 hasConcept C45053136 @default.
- W1577881803 hasConcept C45962547 @default.
- W1577881803 hasConcept C48540410 @default.
- W1577881803 hasConcept C65148605 @default.
- W1577881803 hasConcept C97489613 @default.
- W1577881803 hasConceptScore W1577881803C118615104 @default.
- W1577881803 hasConceptScore W1577881803C146147875 @default.
- W1577881803 hasConceptScore W1577881803C33923547 @default.
- W1577881803 hasConceptScore W1577881803C45053136 @default.
- W1577881803 hasConceptScore W1577881803C45962547 @default.
- W1577881803 hasConceptScore W1577881803C48540410 @default.
- W1577881803 hasConceptScore W1577881803C65148605 @default.
- W1577881803 hasConceptScore W1577881803C97489613 @default.
- W1577881803 hasLocation W15778818031 @default.
- W1577881803 hasOpenAccess W1577881803 @default.
- W1577881803 hasPrimaryLocation W15778818031 @default.
- W1577881803 hasRelatedWork W1173820004 @default.
- W1577881803 hasRelatedWork W128635338 @default.
- W1577881803 hasRelatedWork W1493727773 @default.
- W1577881803 hasRelatedWork W1516431014 @default.
- W1577881803 hasRelatedWork W171744056 @default.
- W1577881803 hasRelatedWork W2007299957 @default.
- W1577881803 hasRelatedWork W2021327566 @default.
- W1577881803 hasRelatedWork W2043385920 @default.
- W1577881803 hasRelatedWork W2057384151 @default.
- W1577881803 hasRelatedWork W2064420897 @default.
- W1577881803 hasRelatedWork W2065703620 @default.
- W1577881803 hasRelatedWork W2116938001 @default.
- W1577881803 hasRelatedWork W2159187982 @default.
- W1577881803 hasRelatedWork W2233841745 @default.
- W1577881803 hasRelatedWork W2312914533 @default.
- W1577881803 hasRelatedWork W238625777 @default.
- W1577881803 hasRelatedWork W2919902391 @default.
- W1577881803 hasRelatedWork W2963692787 @default.
- W1577881803 hasRelatedWork W628806480 @default.
- W1577881803 hasRelatedWork W775213789 @default.
- W1577881803 hasVolume "298" @default.
- W1577881803 isParatext "false" @default.
- W1577881803 isRetracted "false" @default.
- W1577881803 magId "1577881803" @default.
- W1577881803 workType "article" @default.