Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519442806> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1519442806 endingPage "842" @default.
- W1519442806 startingPage "818" @default.
- W1519442806 abstract "Abstract This paper deals with: (i) the theory which results from by restricting induction on the natural numbers to formulas which are positive in the fixed point constants, (ii) the theory BON( μ ) plus various forms of positive induction, and (iii) a subtheory of Peano arithmetic with ordinals in which induction on the natural numbers is restricted to formulas which are Σ in the ordinals. We show that these systems have proof-theoretic strength φω 0." @default.
- W1519442806 created "2016-06-24" @default.
- W1519442806 creator A5010107932 @default.
- W1519442806 creator A5019358632 @default.
- W1519442806 date "1996-09-01" @default.
- W1519442806 modified "2023-09-27" @default.
- W1519442806 title "Some theories with positive induction of ordinal strength φω0 " @default.
- W1519442806 cites W1763978647 @default.
- W1519442806 cites W2007299957 @default.
- W1519442806 cites W2023423328 @default.
- W1519442806 cites W2025127850 @default.
- W1519442806 cites W2038447110 @default.
- W1519442806 cites W2069440181 @default.
- W1519442806 cites W2137355506 @default.
- W1519442806 cites W2314635988 @default.
- W1519442806 doi "https://doi.org/10.2307/2275787" @default.
- W1519442806 hasPublicationYear "1996" @default.
- W1519442806 type Work @default.
- W1519442806 sameAs 1519442806 @default.
- W1519442806 citedByCount "14" @default.
- W1519442806 countsByYear W15194428062015 @default.
- W1519442806 countsByYear W15194428062016 @default.
- W1519442806 countsByYear W15194428062017 @default.
- W1519442806 crossrefType "journal-article" @default.
- W1519442806 hasAuthorship W1519442806A5010107932 @default.
- W1519442806 hasAuthorship W1519442806A5019358632 @default.
- W1519442806 hasBestOaLocation W15194428062 @default.
- W1519442806 hasConcept C118615104 @default.
- W1519442806 hasConcept C184264201 @default.
- W1519442806 hasConcept C202444582 @default.
- W1519442806 hasConcept C206743973 @default.
- W1519442806 hasConcept C2524010 @default.
- W1519442806 hasConcept C33923547 @default.
- W1519442806 hasConcept C45962547 @default.
- W1519442806 hasConcept C65148605 @default.
- W1519442806 hasConcept C94375191 @default.
- W1519442806 hasConcept C97489613 @default.
- W1519442806 hasConceptScore W1519442806C118615104 @default.
- W1519442806 hasConceptScore W1519442806C184264201 @default.
- W1519442806 hasConceptScore W1519442806C202444582 @default.
- W1519442806 hasConceptScore W1519442806C206743973 @default.
- W1519442806 hasConceptScore W1519442806C2524010 @default.
- W1519442806 hasConceptScore W1519442806C33923547 @default.
- W1519442806 hasConceptScore W1519442806C45962547 @default.
- W1519442806 hasConceptScore W1519442806C65148605 @default.
- W1519442806 hasConceptScore W1519442806C94375191 @default.
- W1519442806 hasConceptScore W1519442806C97489613 @default.
- W1519442806 hasIssue "03" @default.
- W1519442806 hasLocation W15194428061 @default.
- W1519442806 hasLocation W15194428062 @default.
- W1519442806 hasOpenAccess W1519442806 @default.
- W1519442806 hasPrimaryLocation W15194428061 @default.
- W1519442806 hasRelatedWork W1210863002 @default.
- W1519442806 hasRelatedWork W1519442806 @default.
- W1519442806 hasRelatedWork W1842713424 @default.
- W1519442806 hasRelatedWork W2017398442 @default.
- W1519442806 hasRelatedWork W2023423328 @default.
- W1519442806 hasRelatedWork W2553375059 @default.
- W1519442806 hasRelatedWork W3215510974 @default.
- W1519442806 hasRelatedWork W4206411991 @default.
- W1519442806 hasRelatedWork W4286851433 @default.
- W1519442806 hasRelatedWork W8278010 @default.
- W1519442806 hasVolume "61" @default.
- W1519442806 isParatext "false" @default.
- W1519442806 isRetracted "false" @default.
- W1519442806 magId "1519442806" @default.
- W1519442806 workType "article" @default.