Matches in SemOpenAlex for { <https://semopenalex.org/work/W1517203860> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1517203860 endingPage "328" @default.
- W1517203860 startingPage "313" @default.
- W1517203860 abstract "By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only (up to deductive equivalence) consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain results on the quantifier complexity, (non)finite axiomatizability and relative strength of schemes for Δn+1-formulas. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)" @default.
- W1517203860 created "2016-06-24" @default.
- W1517203860 creator A5060445710 @default.
- W1517203860 creator A5071840759 @default.
- W1517203860 creator A5088075498 @default.
- W1517203860 date "2005-03-18" @default.
- W1517203860 modified "2023-09-30" @default.
- W1517203860 title "Fragments of Arithmetic and true sentences" @default.
- W1517203860 cites W1022561181 @default.
- W1517203860 cites W13300039 @default.
- W1517203860 cites W1466890748 @default.
- W1517203860 cites W1491244198 @default.
- W1517203860 cites W1523846338 @default.
- W1517203860 cites W1572451808 @default.
- W1517203860 cites W1581717600 @default.
- W1517203860 cites W1594785505 @default.
- W1517203860 cites W1987377250 @default.
- W1517203860 cites W2011612028 @default.
- W1517203860 cites W2015690845 @default.
- W1517203860 cites W2016916627 @default.
- W1517203860 cites W2041820615 @default.
- W1517203860 cites W2076792546 @default.
- W1517203860 cites W2079353347 @default.
- W1517203860 cites W2086129813 @default.
- W1517203860 doi "https://doi.org/10.1002/malq.200410034" @default.
- W1517203860 hasPublicationYear "2005" @default.
- W1517203860 type Work @default.
- W1517203860 sameAs 1517203860 @default.
- W1517203860 citedByCount "6" @default.
- W1517203860 countsByYear W15172038602014 @default.
- W1517203860 countsByYear W15172038602017 @default.
- W1517203860 countsByYear W15172038602023 @default.
- W1517203860 crossrefType "journal-article" @default.
- W1517203860 hasAuthorship W1517203860A5060445710 @default.
- W1517203860 hasAuthorship W1517203860A5071840759 @default.
- W1517203860 hasAuthorship W1517203860A5088075498 @default.
- W1517203860 hasBestOaLocation W15172038602 @default.
- W1517203860 hasConcept C111472728 @default.
- W1517203860 hasConcept C118615104 @default.
- W1517203860 hasConcept C134306372 @default.
- W1517203860 hasConcept C138885662 @default.
- W1517203860 hasConcept C154945302 @default.
- W1517203860 hasConcept C189950617 @default.
- W1517203860 hasConcept C2777212361 @default.
- W1517203860 hasConcept C2778523021 @default.
- W1517203860 hasConcept C2780069185 @default.
- W1517203860 hasConcept C32278780 @default.
- W1517203860 hasConcept C33923547 @default.
- W1517203860 hasConcept C34388435 @default.
- W1517203860 hasConcept C41008148 @default.
- W1517203860 hasConcept C65148605 @default.
- W1517203860 hasConcept C94375191 @default.
- W1517203860 hasConcept C97489613 @default.
- W1517203860 hasConceptScore W1517203860C111472728 @default.
- W1517203860 hasConceptScore W1517203860C118615104 @default.
- W1517203860 hasConceptScore W1517203860C134306372 @default.
- W1517203860 hasConceptScore W1517203860C138885662 @default.
- W1517203860 hasConceptScore W1517203860C154945302 @default.
- W1517203860 hasConceptScore W1517203860C189950617 @default.
- W1517203860 hasConceptScore W1517203860C2777212361 @default.
- W1517203860 hasConceptScore W1517203860C2778523021 @default.
- W1517203860 hasConceptScore W1517203860C2780069185 @default.
- W1517203860 hasConceptScore W1517203860C32278780 @default.
- W1517203860 hasConceptScore W1517203860C33923547 @default.
- W1517203860 hasConceptScore W1517203860C34388435 @default.
- W1517203860 hasConceptScore W1517203860C41008148 @default.
- W1517203860 hasConceptScore W1517203860C65148605 @default.
- W1517203860 hasConceptScore W1517203860C94375191 @default.
- W1517203860 hasConceptScore W1517203860C97489613 @default.
- W1517203860 hasIssue "3" @default.
- W1517203860 hasLocation W15172038601 @default.
- W1517203860 hasLocation W15172038602 @default.
- W1517203860 hasOpenAccess W1517203860 @default.
- W1517203860 hasPrimaryLocation W15172038601 @default.
- W1517203860 hasRelatedWork W1173820004 @default.
- W1517203860 hasRelatedWork W1517203860 @default.
- W1517203860 hasRelatedWork W2017398442 @default.
- W1517203860 hasRelatedWork W2131691859 @default.
- W1517203860 hasRelatedWork W2158768175 @default.
- W1517203860 hasRelatedWork W2240670003 @default.
- W1517203860 hasRelatedWork W2278358334 @default.
- W1517203860 hasRelatedWork W2475906974 @default.
- W1517203860 hasRelatedWork W4206411991 @default.
- W1517203860 hasRelatedWork W8278010 @default.
- W1517203860 hasVolume "51" @default.
- W1517203860 isParatext "false" @default.
- W1517203860 isRetracted "false" @default.
- W1517203860 magId "1517203860" @default.
- W1517203860 workType "article" @default.