Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016116596> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2016116596 endingPage "630" @default.
- W2016116596 startingPage "625" @default.
- W2016116596 abstract "In this article, we study the two hierarchies of intuitionistic bounded arithmetic introduced by Buss and Harnik. Harnik's hierarchy contains the theory IS21 defined and studied by Cook and Urquhart as the first level. We prove level by level equivalence between the two hierarchies (for the first level, the fact was first proved by Cook and Urquhart using realizability and functional interpretation and later by Buss by an elementary method). Next we investigate the question of whether the hierarchy, denoted IS2i, collapses. We show that if IS2i⊢IS2i+1, then S2i(PV)⊢Σib=Πib and so the polynomial hierarchy collapses to Σip=Πip. Our proof for this is independent from earlier works on relating the collapse of the hierarchy of classical bounded arithmetic and the collapse of the polynomial hierarchy. We give an elementary model theoretic proof using only the basic properties of the theories IS2i and we do not use results which belong to Cook and Urquhart and also Harnik that characterize the definable functions of these theories with long witnessing proofs." @default.
- W2016116596 created "2016-06-24" @default.
- W2016116596 creator A5025968166 @default.
- W2016116596 date "2007-11-22" @default.
- W2016116596 modified "2023-09-27" @default.
- W2016116596 title "On the Hierarchy of Intuitionistic Bounded Arithmetic" @default.
- W2016116596 cites W1985834822 @default.
- W2016116596 cites W1987943786 @default.
- W2016116596 cites W2012362668 @default.
- W2016116596 cites W2064470584 @default.
- W2016116596 cites W2071204190 @default.
- W2016116596 cites W2075380453 @default.
- W2016116596 cites W2128026324 @default.
- W2016116596 doi "https://doi.org/10.1093/logcom/exn003" @default.
- W2016116596 hasPublicationYear "2007" @default.
- W2016116596 type Work @default.
- W2016116596 sameAs 2016116596 @default.
- W2016116596 citedByCount "2" @default.
- W2016116596 countsByYear W20161165962020 @default.
- W2016116596 crossrefType "journal-article" @default.
- W2016116596 hasAuthorship W2016116596A5025968166 @default.
- W2016116596 hasConcept C108710211 @default.
- W2016116596 hasConcept C11413529 @default.
- W2016116596 hasConcept C118615104 @default.
- W2016116596 hasConcept C134306372 @default.
- W2016116596 hasConcept C136119220 @default.
- W2016116596 hasConcept C162324750 @default.
- W2016116596 hasConcept C202444582 @default.
- W2016116596 hasConcept C2318724 @default.
- W2016116596 hasConcept C2524010 @default.
- W2016116596 hasConcept C2776013622 @default.
- W2016116596 hasConcept C2776378722 @default.
- W2016116596 hasConcept C2780069185 @default.
- W2016116596 hasConcept C311688 @default.
- W2016116596 hasConcept C31170391 @default.
- W2016116596 hasConcept C33923547 @default.
- W2016116596 hasConcept C34388435 @default.
- W2016116596 hasConcept C34447519 @default.
- W2016116596 hasConceptScore W2016116596C108710211 @default.
- W2016116596 hasConceptScore W2016116596C11413529 @default.
- W2016116596 hasConceptScore W2016116596C118615104 @default.
- W2016116596 hasConceptScore W2016116596C134306372 @default.
- W2016116596 hasConceptScore W2016116596C136119220 @default.
- W2016116596 hasConceptScore W2016116596C162324750 @default.
- W2016116596 hasConceptScore W2016116596C202444582 @default.
- W2016116596 hasConceptScore W2016116596C2318724 @default.
- W2016116596 hasConceptScore W2016116596C2524010 @default.
- W2016116596 hasConceptScore W2016116596C2776013622 @default.
- W2016116596 hasConceptScore W2016116596C2776378722 @default.
- W2016116596 hasConceptScore W2016116596C2780069185 @default.
- W2016116596 hasConceptScore W2016116596C311688 @default.
- W2016116596 hasConceptScore W2016116596C31170391 @default.
- W2016116596 hasConceptScore W2016116596C33923547 @default.
- W2016116596 hasConceptScore W2016116596C34388435 @default.
- W2016116596 hasConceptScore W2016116596C34447519 @default.
- W2016116596 hasIssue "4" @default.
- W2016116596 hasLocation W20161165961 @default.
- W2016116596 hasOpenAccess W2016116596 @default.
- W2016116596 hasPrimaryLocation W20161165961 @default.
- W2016116596 hasRelatedWork W1587799979 @default.
- W2016116596 hasRelatedWork W1817813502 @default.
- W2016116596 hasRelatedWork W1942012432 @default.
- W2016116596 hasRelatedWork W1942966263 @default.
- W2016116596 hasRelatedWork W1972719943 @default.
- W2016116596 hasRelatedWork W1997250390 @default.
- W2016116596 hasRelatedWork W2029971057 @default.
- W2016116596 hasRelatedWork W2336116580 @default.
- W2016116596 hasRelatedWork W26370300 @default.
- W2016116596 hasRelatedWork W3098060485 @default.
- W2016116596 hasVolume "18" @default.
- W2016116596 isParatext "false" @default.
- W2016116596 isRetracted "false" @default.
- W2016116596 magId "2016116596" @default.
- W2016116596 workType "article" @default.