Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048603649> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W3048603649 abstract "In this chapter we first introduce a standard cut-elimination procedure for the first-order logic and the (omega )-logic, by which we see that the tree-height of the resulting cut-free proofs is bounded by a tower of exponential functions. Such a control of the tree-heights in cut-elimination is one of the most important results in ordinal analysis. A partial cut-elimination with a control holds as well for applied calculi. The partial result is sometimes helpful for us to analyze mathematical theories." @default.
- W3048603649 created "2020-08-18" @default.
- W3048603649 creator A5079419222 @default.
- W3048603649 date "2020-01-01" @default.
- W3048603649 modified "2023-10-17" @default.
- W3048603649 title "Cut-Elimination with Depths" @default.
- W3048603649 cites W162931075 @default.
- W3048603649 cites W1963953353 @default.
- W3048603649 cites W1977530810 @default.
- W3048603649 cites W198973586 @default.
- W3048603649 cites W1990529320 @default.
- W3048603649 cites W2088312225 @default.
- W3048603649 cites W2134419104 @default.
- W3048603649 cites W2166153399 @default.
- W3048603649 cites W4238292764 @default.
- W3048603649 doi "https://doi.org/10.1007/978-981-15-6459-8_3" @default.
- W3048603649 hasPublicationYear "2020" @default.
- W3048603649 type Work @default.
- W3048603649 sameAs 3048603649 @default.
- W3048603649 citedByCount "0" @default.
- W3048603649 crossrefType "book-chapter" @default.
- W3048603649 hasAuthorship W3048603649A5079419222 @default.
- W3048603649 hasConcept C108710211 @default.
- W3048603649 hasConcept C113174947 @default.
- W3048603649 hasConcept C114614502 @default.
- W3048603649 hasConcept C118615104 @default.
- W3048603649 hasConcept C134306372 @default.
- W3048603649 hasConcept C199343813 @default.
- W3048603649 hasConcept C2524010 @default.
- W3048603649 hasConcept C2777686260 @default.
- W3048603649 hasConcept C33923547 @default.
- W3048603649 hasConcept C34388435 @default.
- W3048603649 hasConcept C71924100 @default.
- W3048603649 hasConceptScore W3048603649C108710211 @default.
- W3048603649 hasConceptScore W3048603649C113174947 @default.
- W3048603649 hasConceptScore W3048603649C114614502 @default.
- W3048603649 hasConceptScore W3048603649C118615104 @default.
- W3048603649 hasConceptScore W3048603649C134306372 @default.
- W3048603649 hasConceptScore W3048603649C199343813 @default.
- W3048603649 hasConceptScore W3048603649C2524010 @default.
- W3048603649 hasConceptScore W3048603649C2777686260 @default.
- W3048603649 hasConceptScore W3048603649C33923547 @default.
- W3048603649 hasConceptScore W3048603649C34388435 @default.
- W3048603649 hasConceptScore W3048603649C71924100 @default.
- W3048603649 hasLocation W30486036491 @default.
- W3048603649 hasOpenAccess W3048603649 @default.
- W3048603649 hasPrimaryLocation W30486036491 @default.
- W3048603649 hasRelatedWork W1509718 @default.
- W3048603649 hasRelatedWork W2924864 @default.
- W3048603649 hasRelatedWork W3729510 @default.
- W3048603649 hasRelatedWork W4000180 @default.
- W3048603649 hasRelatedWork W4082666 @default.
- W3048603649 hasRelatedWork W5005384 @default.
- W3048603649 hasRelatedWork W7602436 @default.
- W3048603649 hasRelatedWork W7663216 @default.
- W3048603649 hasRelatedWork W8047701 @default.
- W3048603649 hasRelatedWork W8076620 @default.
- W3048603649 isParatext "false" @default.
- W3048603649 isRetracted "false" @default.
- W3048603649 magId "3048603649" @default.
- W3048603649 workType "book-chapter" @default.