Matches in SemOpenAlex for { <https://semopenalex.org/work/W2941831908> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2941831908 abstract "Hilbert's epsilon calculus is an extension of elementary or predicate calculus by a term-forming operator $varepsilon$ and initial formulas involving such terms. The fundamental results about the epsilon calculus are so-called epsilon theorems, which have been proven by means of the epsilon elimination method. It is a procedure of transforming a proof in epsilon calculus into a proof in elementary or predicate calculus through getting rid of those initial formulas. One remarkable consequence is a proof of Herbrand's theorem due to Bernays and Hilbert which comes as a corollary of extended first epsilon theorem. The contribution of this paper is the upper and lower bounds analysis of the length of Herbrand disjunctions in extended first epsilon theorem for epsilon calculus with equality. We also show that the complexity analysis for Herbrand's theorem with equality is a straightforward consequence of the one for extended first epsilon theorem without equality due to Moser and Zach." @default.
- W2941831908 created "2019-05-03" @default.
- W2941831908 creator A5050172197 @default.
- W2941831908 creator A5062221912 @default.
- W2941831908 date "2019-04-25" @default.
- W2941831908 modified "2023-09-23" @default.
- W2941831908 title "The Epsilon Calculus with Equality and Herbrand Complexity" @default.
- W2941831908 cites W1165599629 @default.
- W2941831908 cites W1556336692 @default.
- W2941831908 cites W1850472653 @default.
- W2941831908 cites W1990529320 @default.
- W2941831908 cites W2013812083 @default.
- W2941831908 cites W2031927644 @default.
- W2941831908 cites W2033019111 @default.
- W2941831908 cites W2035851396 @default.
- W2941831908 cites W2046702637 @default.
- W2941831908 cites W2058072553 @default.
- W2941831908 cites W2078618964 @default.
- W2941831908 cites W2082187221 @default.
- W2941831908 cites W2087590092 @default.
- W2941831908 cites W2099681375 @default.
- W2941831908 cites W2113711982 @default.
- W2941831908 cites W2137996347 @default.
- W2941831908 cites W2144153673 @default.
- W2941831908 cites W2533162327 @default.
- W2941831908 cites W2908250557 @default.
- W2941831908 cites W3097995181 @default.
- W2941831908 hasPublicationYear "2019" @default.
- W2941831908 type Work @default.
- W2941831908 sameAs 2941831908 @default.
- W2941831908 citedByCount "0" @default.
- W2941831908 crossrefType "posted-content" @default.
- W2941831908 hasAuthorship W2941831908A5050172197 @default.
- W2941831908 hasAuthorship W2941831908A5062221912 @default.
- W2941831908 hasConcept C104317684 @default.
- W2941831908 hasConcept C158448853 @default.
- W2941831908 hasConcept C17020691 @default.
- W2941831908 hasConcept C185592680 @default.
- W2941831908 hasConcept C199343813 @default.
- W2941831908 hasConcept C202444582 @default.
- W2941831908 hasConcept C2777686260 @default.
- W2941831908 hasConcept C2780012671 @default.
- W2941831908 hasConcept C33923547 @default.
- W2941831908 hasConcept C55493867 @default.
- W2941831908 hasConcept C71924100 @default.
- W2941831908 hasConcept C86339819 @default.
- W2941831908 hasConceptScore W2941831908C104317684 @default.
- W2941831908 hasConceptScore W2941831908C158448853 @default.
- W2941831908 hasConceptScore W2941831908C17020691 @default.
- W2941831908 hasConceptScore W2941831908C185592680 @default.
- W2941831908 hasConceptScore W2941831908C199343813 @default.
- W2941831908 hasConceptScore W2941831908C202444582 @default.
- W2941831908 hasConceptScore W2941831908C2777686260 @default.
- W2941831908 hasConceptScore W2941831908C2780012671 @default.
- W2941831908 hasConceptScore W2941831908C33923547 @default.
- W2941831908 hasConceptScore W2941831908C55493867 @default.
- W2941831908 hasConceptScore W2941831908C71924100 @default.
- W2941831908 hasConceptScore W2941831908C86339819 @default.
- W2941831908 hasLocation W29418319081 @default.
- W2941831908 hasOpenAccess W2941831908 @default.
- W2941831908 hasPrimaryLocation W29418319081 @default.
- W2941831908 hasRelatedWork W1488569420 @default.
- W2941831908 hasRelatedWork W1560329072 @default.
- W2941831908 hasRelatedWork W167641868 @default.
- W2941831908 hasRelatedWork W1987000702 @default.
- W2941831908 hasRelatedWork W2000451268 @default.
- W2941831908 hasRelatedWork W2022438838 @default.
- W2941831908 hasRelatedWork W2031927644 @default.
- W2941831908 hasRelatedWork W2035207489 @default.
- W2941831908 hasRelatedWork W2042779906 @default.
- W2941831908 hasRelatedWork W2081909835 @default.
- W2941831908 hasRelatedWork W2113711982 @default.
- W2941831908 hasRelatedWork W2114633883 @default.
- W2941831908 hasRelatedWork W2128776156 @default.
- W2941831908 hasRelatedWork W216691121 @default.
- W2941831908 hasRelatedWork W2170862108 @default.
- W2941831908 hasRelatedWork W2553073499 @default.
- W2941831908 hasRelatedWork W2614883855 @default.
- W2941831908 hasRelatedWork W2958446234 @default.
- W2941831908 hasRelatedWork W7694972 @default.
- W2941831908 hasRelatedWork W960018290 @default.
- W2941831908 isParatext "false" @default.
- W2941831908 isRetracted "false" @default.
- W2941831908 magId "2941831908" @default.
- W2941831908 workType "article" @default.