Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022687341> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2022687341 endingPage "1093" @default.
- W2022687341 startingPage "1078" @default.
- W2022687341 abstract "In 1981, Paris and Wilkie indicated it was an open question whether IΣ0 would satisfy the Second Incompleteness Theorem for Herbrand deduction. We will show that some specially formulated axiomizations for IΣ0 can evade the Herbrandized version of the Second Incompleteness Theorem." @default.
- W2022687341 created "2016-06-24" @default.
- W2022687341 creator A5074770137 @default.
- W2022687341 date "2009-10-01" @default.
- W2022687341 modified "2023-09-26" @default.
- W2022687341 title "Some specially formulated axiomizations for I<mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif overflow=scroll><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant=normal>Σ</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math> manage to evade the Herbrandized version of the Second Incompleteness Theorem" @default.
- W2022687341 cites W1515297838 @default.
- W2022687341 cites W1571003765 @default.
- W2022687341 cites W192540218 @default.
- W2022687341 cites W1968570420 @default.
- W2022687341 cites W1985956422 @default.
- W2022687341 cites W1993364664 @default.
- W2022687341 cites W1995072632 @default.
- W2022687341 cites W1996215903 @default.
- W2022687341 cites W1997679513 @default.
- W2022687341 cites W2009558863 @default.
- W2022687341 cites W2011612028 @default.
- W2022687341 cites W2021331155 @default.
- W2022687341 cites W2035207489 @default.
- W2022687341 cites W2036869460 @default.
- W2022687341 cites W2053241037 @default.
- W2022687341 cites W2053394237 @default.
- W2022687341 cites W2071373355 @default.
- W2022687341 cites W2071977753 @default.
- W2022687341 cites W2078123020 @default.
- W2022687341 cites W2085677228 @default.
- W2022687341 cites W2086098666 @default.
- W2022687341 cites W2088127783 @default.
- W2022687341 cites W2116784727 @default.
- W2022687341 cites W2167493425 @default.
- W2022687341 cites W2169685450 @default.
- W2022687341 cites W2331346174 @default.
- W2022687341 cites W2576868155 @default.
- W2022687341 cites W4212913921 @default.
- W2022687341 cites W4247815854 @default.
- W2022687341 doi "https://doi.org/10.1016/j.ic.2008.11.007" @default.
- W2022687341 hasPublicationYear "2009" @default.
- W2022687341 type Work @default.
- W2022687341 sameAs 2022687341 @default.
- W2022687341 citedByCount "9" @default.
- W2022687341 countsByYear W20226873412012 @default.
- W2022687341 countsByYear W20226873412013 @default.
- W2022687341 countsByYear W20226873412014 @default.
- W2022687341 countsByYear W20226873412016 @default.
- W2022687341 countsByYear W20226873412018 @default.
- W2022687341 countsByYear W20226873412019 @default.
- W2022687341 countsByYear W20226873412020 @default.
- W2022687341 crossrefType "journal-article" @default.
- W2022687341 hasAuthorship W2022687341A5074770137 @default.
- W2022687341 hasConcept C11413529 @default.
- W2022687341 hasConcept C118615104 @default.
- W2022687341 hasConcept C138885662 @default.
- W2022687341 hasConcept C27206212 @default.
- W2022687341 hasConcept C2781324535 @default.
- W2022687341 hasConcept C33923547 @default.
- W2022687341 hasConcept C41008148 @default.
- W2022687341 hasConceptScore W2022687341C11413529 @default.
- W2022687341 hasConceptScore W2022687341C118615104 @default.
- W2022687341 hasConceptScore W2022687341C138885662 @default.
- W2022687341 hasConceptScore W2022687341C27206212 @default.
- W2022687341 hasConceptScore W2022687341C2781324535 @default.
- W2022687341 hasConceptScore W2022687341C33923547 @default.
- W2022687341 hasConceptScore W2022687341C41008148 @default.
- W2022687341 hasIssue "10" @default.
- W2022687341 hasLocation W20226873411 @default.
- W2022687341 hasOpenAccess W2022687341 @default.
- W2022687341 hasPrimaryLocation W20226873411 @default.
- W2022687341 hasRelatedWork W2013984500 @default.
- W2022687341 hasRelatedWork W2351491280 @default.
- W2022687341 hasRelatedWork W2371447506 @default.
- W2022687341 hasRelatedWork W2386767533 @default.
- W2022687341 hasRelatedWork W2963414543 @default.
- W2022687341 hasRelatedWork W303980170 @default.
- W2022687341 hasRelatedWork W3103555317 @default.
- W2022687341 hasRelatedWork W3104631496 @default.
- W2022687341 hasRelatedWork W4280511095 @default.
- W2022687341 hasRelatedWork W586151124 @default.
- W2022687341 hasVolume "207" @default.
- W2022687341 isParatext "false" @default.
- W2022687341 isRetracted "false" @default.
- W2022687341 magId "2022687341" @default.
- W2022687341 workType "article" @default.
