Matches in SemOpenAlex for { <https://semopenalex.org/work/W2690289483> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2690289483 abstract "In this paper we present a proof of Goodman's Theorem, a classical result in the metamathematics of constructivism, which states that the addition of the axiom of choice to Heyting arithmetic in finite types does not increase the collection of provable arithmetical sentences. Our proof relies on several ideas from earlier proofs by other authors, but adds some new ones as well. In particular, we show how a recent paper by Jaap van Oosten can be used to simplify a key step in the proof. We have also included an interesting corollary for classical systems pointed out to us by Ulrich Kohlenbach." @default.
- W2690289483 created "2017-06-30" @default.
- W2690289483 creator A5040167167 @default.
- W2690289483 creator A5073834831 @default.
- W2690289483 date "2017-06-19" @default.
- W2690289483 modified "2023-09-27" @default.
- W2690289483 title "Arithmetical conservation results" @default.
- W2690289483 cites W126513462 @default.
- W2690289483 cites W126568045 @default.
- W2690289483 cites W1498926208 @default.
- W2690289483 cites W1506561761 @default.
- W2690289483 cites W1532591243 @default.
- W2690289483 cites W1763978647 @default.
- W2690289483 cites W1990224856 @default.
- W2690289483 cites W1994999396 @default.
- W2690289483 cites W2074338252 @default.
- W2690289483 cites W2085036336 @default.
- W2690289483 cites W2086046439 @default.
- W2690289483 cites W2124223175 @default.
- W2690289483 cites W2131109250 @default.
- W2690289483 cites W2275376313 @default.
- W2690289483 cites W2339005484 @default.
- W2690289483 cites W2963204392 @default.
- W2690289483 cites W561202933 @default.
- W2690289483 cites W569543113 @default.
- W2690289483 cites W635853265 @default.
- W2690289483 hasPublicationYear "2017" @default.
- W2690289483 type Work @default.
- W2690289483 sameAs 2690289483 @default.
- W2690289483 citedByCount "0" @default.
- W2690289483 crossrefType "posted-content" @default.
- W2690289483 hasAuthorship W2690289483A5040167167 @default.
- W2690289483 hasAuthorship W2690289483A5073834831 @default.
- W2690289483 hasConcept C108710211 @default.
- W2690289483 hasConcept C112343008 @default.
- W2690289483 hasConcept C118615104 @default.
- W2690289483 hasConcept C136119220 @default.
- W2690289483 hasConcept C167729594 @default.
- W2690289483 hasConcept C202444582 @default.
- W2690289483 hasConcept C2524010 @default.
- W2690289483 hasConcept C26517878 @default.
- W2690289483 hasConcept C2780012671 @default.
- W2690289483 hasConcept C33923547 @default.
- W2690289483 hasConcept C38652104 @default.
- W2690289483 hasConcept C41008148 @default.
- W2690289483 hasConceptScore W2690289483C108710211 @default.
- W2690289483 hasConceptScore W2690289483C112343008 @default.
- W2690289483 hasConceptScore W2690289483C118615104 @default.
- W2690289483 hasConceptScore W2690289483C136119220 @default.
- W2690289483 hasConceptScore W2690289483C167729594 @default.
- W2690289483 hasConceptScore W2690289483C202444582 @default.
- W2690289483 hasConceptScore W2690289483C2524010 @default.
- W2690289483 hasConceptScore W2690289483C26517878 @default.
- W2690289483 hasConceptScore W2690289483C2780012671 @default.
- W2690289483 hasConceptScore W2690289483C33923547 @default.
- W2690289483 hasConceptScore W2690289483C38652104 @default.
- W2690289483 hasConceptScore W2690289483C41008148 @default.
- W2690289483 hasLocation W26902894831 @default.
- W2690289483 hasOpenAccess W2690289483 @default.
- W2690289483 hasPrimaryLocation W26902894831 @default.
- W2690289483 hasRelatedWork W1503170941 @default.
- W2690289483 hasRelatedWork W1854122471 @default.
- W2690289483 hasRelatedWork W187835144 @default.
- W2690289483 hasRelatedWork W2023177010 @default.
- W2690289483 hasRelatedWork W2031855072 @default.
- W2690289483 hasRelatedWork W2107153842 @default.
- W2690289483 hasRelatedWork W2269729327 @default.
- W2690289483 hasRelatedWork W2294984609 @default.
- W2690289483 hasRelatedWork W2770391921 @default.
- W2690289483 hasRelatedWork W2901110816 @default.
- W2690289483 hasRelatedWork W2909229158 @default.
- W2690289483 hasRelatedWork W2948179623 @default.
- W2690289483 hasRelatedWork W2950379217 @default.
- W2690289483 hasRelatedWork W2963054981 @default.
- W2690289483 hasRelatedWork W3006605088 @default.
- W2690289483 hasRelatedWork W3046046453 @default.
- W2690289483 hasRelatedWork W93330227 @default.
- W2690289483 hasRelatedWork W972485539 @default.
- W2690289483 hasRelatedWork W189467078 @default.
- W2690289483 hasRelatedWork W2519791282 @default.
- W2690289483 isParatext "false" @default.
- W2690289483 isRetracted "false" @default.
- W2690289483 magId "2690289483" @default.
- W2690289483 workType "article" @default.