Matches in SemOpenAlex for { <https://semopenalex.org/work/W960018290> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W960018290 endingPage "441" @default.
- W960018290 startingPage "437" @default.
- W960018290 abstract "The chapter proves Herbrand theorem by considering a formula Y provable in an open theory T. Reasoning by reductio ad absurdum, the chapter supposes that none of the Herbrand disjunctions Hn is provable in T and adjoined to the theory T as new axioms ∼ Hn(n = 1, 2,…). The definition of the algebra L* as well as the inductive definition of the function vϑ use the notion of arbitrary set. The proof of lemma cannot thus be formalized in elementary arithmetic, whereas the original proof of Herbrand and the proof of Hilbert and Bernays can easily be formalized there." @default.
- W960018290 created "2016-06-24" @default.
- W960018290 creator A5067097490 @default.
- W960018290 creator A5074299172 @default.
- W960018290 creator A5079238023 @default.
- W960018290 date "1979-01-01" @default.
- W960018290 modified "2023-09-25" @default.
- W960018290 title "An addition to the paper “A proof of Herbrand's theorem”" @default.
- W960018290 doi "https://doi.org/10.1016/s0049-237x(09)70276-9" @default.
- W960018290 hasPublicationYear "1979" @default.
- W960018290 type Work @default.
- W960018290 sameAs 960018290 @default.
- W960018290 citedByCount "0" @default.
- W960018290 crossrefType "book-chapter" @default.
- W960018290 hasAuthorship W960018290A5067097490 @default.
- W960018290 hasAuthorship W960018290A5074299172 @default.
- W960018290 hasAuthorship W960018290A5079238023 @default.
- W960018290 hasConcept C108710211 @default.
- W960018290 hasConcept C11413529 @default.
- W960018290 hasConcept C118615104 @default.
- W960018290 hasConcept C121649496 @default.
- W960018290 hasConcept C135754263 @default.
- W960018290 hasConcept C136119220 @default.
- W960018290 hasConcept C167729594 @default.
- W960018290 hasConcept C18903297 @default.
- W960018290 hasConcept C199343813 @default.
- W960018290 hasConcept C199360897 @default.
- W960018290 hasConcept C202444582 @default.
- W960018290 hasConcept C206880738 @default.
- W960018290 hasConcept C2318724 @default.
- W960018290 hasConcept C2524010 @default.
- W960018290 hasConcept C2777686260 @default.
- W960018290 hasConcept C2777759810 @default.
- W960018290 hasConcept C33923547 @default.
- W960018290 hasConcept C41008148 @default.
- W960018290 hasConcept C46757340 @default.
- W960018290 hasConcept C527412718 @default.
- W960018290 hasConcept C71924100 @default.
- W960018290 hasConcept C86803240 @default.
- W960018290 hasConceptScore W960018290C108710211 @default.
- W960018290 hasConceptScore W960018290C11413529 @default.
- W960018290 hasConceptScore W960018290C118615104 @default.
- W960018290 hasConceptScore W960018290C121649496 @default.
- W960018290 hasConceptScore W960018290C135754263 @default.
- W960018290 hasConceptScore W960018290C136119220 @default.
- W960018290 hasConceptScore W960018290C167729594 @default.
- W960018290 hasConceptScore W960018290C18903297 @default.
- W960018290 hasConceptScore W960018290C199343813 @default.
- W960018290 hasConceptScore W960018290C199360897 @default.
- W960018290 hasConceptScore W960018290C202444582 @default.
- W960018290 hasConceptScore W960018290C206880738 @default.
- W960018290 hasConceptScore W960018290C2318724 @default.
- W960018290 hasConceptScore W960018290C2524010 @default.
- W960018290 hasConceptScore W960018290C2777686260 @default.
- W960018290 hasConceptScore W960018290C2777759810 @default.
- W960018290 hasConceptScore W960018290C33923547 @default.
- W960018290 hasConceptScore W960018290C41008148 @default.
- W960018290 hasConceptScore W960018290C46757340 @default.
- W960018290 hasConceptScore W960018290C527412718 @default.
- W960018290 hasConceptScore W960018290C71924100 @default.
- W960018290 hasConceptScore W960018290C86803240 @default.
- W960018290 hasLocation W9600182901 @default.
- W960018290 hasOpenAccess W960018290 @default.
- W960018290 hasPrimaryLocation W9600182901 @default.
- W960018290 hasRelatedWork W112730021 @default.
- W960018290 hasRelatedWork W1521348091 @default.
- W960018290 hasRelatedWork W1598528461 @default.
- W960018290 hasRelatedWork W1816503325 @default.
- W960018290 hasRelatedWork W2143608087 @default.
- W960018290 hasRelatedWork W2296437598 @default.
- W960018290 hasRelatedWork W2590752118 @default.
- W960018290 hasRelatedWork W2953194033 @default.
- W960018290 hasRelatedWork W3116453802 @default.
- W960018290 hasRelatedWork W960018290 @default.
- W960018290 isParatext "false" @default.
- W960018290 isRetracted "false" @default.
- W960018290 magId "960018290" @default.
- W960018290 workType "book-chapter" @default.