Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383722132> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4383722132 endingPage "16" @default.
- W4383722132 startingPage "1" @default.
- W4383722132 abstract "Abstract We formulate Hilbert’s epsilon calculus in the context of expansion proofs. This leads to a simplified proof of the epsilon theorems by disposing of the need for prenexification, Skolemisation, and their respective inverse transformations. We observe that the natural notion of cut in the epsilon calculus is associative." @default.
- W4383722132 created "2023-07-11" @default.
- W4383722132 creator A5058192101 @default.
- W4383722132 date "2023-07-10" @default.
- W4383722132 modified "2023-09-26" @default.
- W4383722132 title "A SIMPLIFIED PROOF OF THE EPSILON THEOREMS" @default.
- W4383722132 cites W104201083 @default.
- W4383722132 cites W1968350036 @default.
- W4383722132 cites W1996404651 @default.
- W4383722132 cites W2031927644 @default.
- W4383722132 cites W2032033497 @default.
- W4383722132 cites W2034155940 @default.
- W4383722132 cites W2035851396 @default.
- W4383722132 cites W2053289767 @default.
- W4383722132 cites W2078109816 @default.
- W4383722132 cites W2084443499 @default.
- W4383722132 cites W2129156376 @default.
- W4383722132 cites W2143374829 @default.
- W4383722132 cites W2152535604 @default.
- W4383722132 cites W2768246366 @default.
- W4383722132 cites W2794392750 @default.
- W4383722132 cites W3088532808 @default.
- W4383722132 cites W3097995181 @default.
- W4383722132 cites W3101828175 @default.
- W4383722132 cites W4300885336 @default.
- W4383722132 cites W2081602857 @default.
- W4383722132 doi "https://doi.org/10.1017/s1755020323000217" @default.
- W4383722132 hasPublicationYear "2023" @default.
- W4383722132 type Work @default.
- W4383722132 citedByCount "0" @default.
- W4383722132 crossrefType "journal-article" @default.
- W4383722132 hasAuthorship W4383722132A5058192101 @default.
- W4383722132 hasConcept C108710211 @default.
- W4383722132 hasConcept C118615104 @default.
- W4383722132 hasConcept C136119220 @default.
- W4383722132 hasConcept C151730666 @default.
- W4383722132 hasConcept C159423971 @default.
- W4383722132 hasConcept C199343813 @default.
- W4383722132 hasConcept C202444582 @default.
- W4383722132 hasConcept C207467116 @default.
- W4383722132 hasConcept C2524010 @default.
- W4383722132 hasConcept C2777686260 @default.
- W4383722132 hasConcept C2779343474 @default.
- W4383722132 hasConcept C33923547 @default.
- W4383722132 hasConcept C62073222 @default.
- W4383722132 hasConcept C71924100 @default.
- W4383722132 hasConcept C86803240 @default.
- W4383722132 hasConceptScore W4383722132C108710211 @default.
- W4383722132 hasConceptScore W4383722132C118615104 @default.
- W4383722132 hasConceptScore W4383722132C136119220 @default.
- W4383722132 hasConceptScore W4383722132C151730666 @default.
- W4383722132 hasConceptScore W4383722132C159423971 @default.
- W4383722132 hasConceptScore W4383722132C199343813 @default.
- W4383722132 hasConceptScore W4383722132C202444582 @default.
- W4383722132 hasConceptScore W4383722132C207467116 @default.
- W4383722132 hasConceptScore W4383722132C2524010 @default.
- W4383722132 hasConceptScore W4383722132C2777686260 @default.
- W4383722132 hasConceptScore W4383722132C2779343474 @default.
- W4383722132 hasConceptScore W4383722132C33923547 @default.
- W4383722132 hasConceptScore W4383722132C62073222 @default.
- W4383722132 hasConceptScore W4383722132C71924100 @default.
- W4383722132 hasConceptScore W4383722132C86803240 @default.
- W4383722132 hasLocation W43837221321 @default.
- W4383722132 hasOpenAccess W4383722132 @default.
- W4383722132 hasPrimaryLocation W43837221321 @default.
- W4383722132 hasRelatedWork W1479042755 @default.
- W4383722132 hasRelatedWork W1548912834 @default.
- W4383722132 hasRelatedWork W2078790484 @default.
- W4383722132 hasRelatedWork W2123105015 @default.
- W4383722132 hasRelatedWork W2320881711 @default.
- W4383722132 hasRelatedWork W2537513979 @default.
- W4383722132 hasRelatedWork W2793983771 @default.
- W4383722132 hasRelatedWork W2891688494 @default.
- W4383722132 hasRelatedWork W3160700379 @default.
- W4383722132 hasRelatedWork W4210480840 @default.
- W4383722132 isParatext "false" @default.
- W4383722132 isRetracted "false" @default.
- W4383722132 workType "article" @default.