Matches in SemOpenAlex for { <https://semopenalex.org/work/W2260868274> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2260868274 endingPage "257" @default.
- W2260868274 startingPage "255" @default.
- W2260868274 abstract "Gödel’s second incompleteness theorem is generalized by showing that any Σn+1-definable and Σn-sound extension of Peano arithmetic (PA) cannot prove its own Σn-soundness. The optimality of the generalization is shown by presenting a Σn+1-definable and Σn−1-sound extension of PA that proves its own Σn−1-soundness." @default.
- W2260868274 created "2016-06-24" @default.
- W2260868274 creator A5057941533 @default.
- W2260868274 creator A5081140591 @default.
- W2260868274 date "2018-01-08" @default.
- W2260868274 modified "2023-09-25" @default.
- W2260868274 title "Gödel’s second incompleteness theorem for Σn-definable theories" @default.
- W2260868274 cites W151227416 @default.
- W2260868274 cites W1527820650 @default.
- W2260868274 cites W2017019103 @default.
- W2260868274 cites W2041395883 @default.
- W2260868274 cites W2065285281 @default.
- W2260868274 cites W4239934161 @default.
- W2260868274 cites W4253934133 @default.
- W2260868274 doi "https://doi.org/10.1093/jigpal/jzx061" @default.
- W2260868274 hasPublicationYear "2018" @default.
- W2260868274 type Work @default.
- W2260868274 sameAs 2260868274 @default.
- W2260868274 citedByCount "3" @default.
- W2260868274 countsByYear W22608682742020 @default.
- W2260868274 countsByYear W22608682742021 @default.
- W2260868274 crossrefType "journal-article" @default.
- W2260868274 hasAuthorship W2260868274A5057941533 @default.
- W2260868274 hasAuthorship W2260868274A5081140591 @default.
- W2260868274 hasConcept C114614502 @default.
- W2260868274 hasConcept C118615104 @default.
- W2260868274 hasConcept C134306372 @default.
- W2260868274 hasConcept C138885662 @default.
- W2260868274 hasConcept C154945302 @default.
- W2260868274 hasConcept C177148314 @default.
- W2260868274 hasConcept C180937797 @default.
- W2260868274 hasConcept C199360897 @default.
- W2260868274 hasConcept C2778029271 @default.
- W2260868274 hasConcept C2781302003 @default.
- W2260868274 hasConcept C33923547 @default.
- W2260868274 hasConcept C39920170 @default.
- W2260868274 hasConcept C41008148 @default.
- W2260868274 hasConcept C41895202 @default.
- W2260868274 hasConcept C97489613 @default.
- W2260868274 hasConceptScore W2260868274C114614502 @default.
- W2260868274 hasConceptScore W2260868274C118615104 @default.
- W2260868274 hasConceptScore W2260868274C134306372 @default.
- W2260868274 hasConceptScore W2260868274C138885662 @default.
- W2260868274 hasConceptScore W2260868274C154945302 @default.
- W2260868274 hasConceptScore W2260868274C177148314 @default.
- W2260868274 hasConceptScore W2260868274C180937797 @default.
- W2260868274 hasConceptScore W2260868274C199360897 @default.
- W2260868274 hasConceptScore W2260868274C2778029271 @default.
- W2260868274 hasConceptScore W2260868274C2781302003 @default.
- W2260868274 hasConceptScore W2260868274C33923547 @default.
- W2260868274 hasConceptScore W2260868274C39920170 @default.
- W2260868274 hasConceptScore W2260868274C41008148 @default.
- W2260868274 hasConceptScore W2260868274C41895202 @default.
- W2260868274 hasConceptScore W2260868274C97489613 @default.
- W2260868274 hasIssue "2" @default.
- W2260868274 hasLocation W22608682741 @default.
- W2260868274 hasOpenAccess W2260868274 @default.
- W2260868274 hasPrimaryLocation W22608682741 @default.
- W2260868274 hasRelatedWork W1978042415 @default.
- W2260868274 hasRelatedWork W2051894241 @default.
- W2260868274 hasRelatedWork W2100983392 @default.
- W2260868274 hasRelatedWork W2111028467 @default.
- W2260868274 hasRelatedWork W2114486737 @default.
- W2260868274 hasRelatedWork W2401016457 @default.
- W2260868274 hasRelatedWork W2767358137 @default.
- W2260868274 hasRelatedWork W3199191410 @default.
- W2260868274 hasRelatedWork W3199300907 @default.
- W2260868274 hasRelatedWork W2924744619 @default.
- W2260868274 hasVolume "26" @default.
- W2260868274 isParatext "false" @default.
- W2260868274 isRetracted "false" @default.
- W2260868274 magId "2260868274" @default.
- W2260868274 workType "article" @default.