FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169150716> ?p ?o ?g. }

• W2169150716 abstract "First we provide a unified framework for developing theories of Bounded Arithmetic that are associated with uniform classes inside polytime ( P) in the same way that Buss's theory S12 is associated with P. We obtain finitely axiomatized theories many of which turn out to be equivalent to a number of existing systems. By formalizing the proof of Barrington's Theorem (that the functions computable by polynomial-size bounded-width branching programs are precisely functions computable in ALogTime, or equivalently NC 1) we prove one such equivalence between the theories associated with ALogTime, solving a problem that remains open in [Ara00, Pit00]. Our theories demonstrate an advantage of the simplicity of Zambella's two-sorted setting for small theories of Bounded Arithmetic. Then we give the first definitions for the relativizations of small classes such as NC1, L, NL that preserve their inclusion order. Separating these relativized classes is shown to be as hard as separating the corresponding non-relativized classes. Our framework also allows us to obtain relativized theories that characterize the newly defined relativized classes. Finally we formalize and prove a number of mathematical theorems in our theories. In particular, we prove the discrete versions of the Jordan Curve Theorem in the theories V0 and V0 (2), and establish some facts about the distribution of prime numbers in the theory VTC0. Our V 0- and V0(2)-proofs improve a number of existing upper bounds for the propositional complexity of combinatorial principles related to grid graphs. Overall, this thesis is a contribution to Bounded Reverse Mathematics, a theme whose purpose is to formalize and prove (discrete versions of) mathematical theorems in the weakest possible theories of bounded arithmetic." @default.
• W2169150716 created "2016-06-24" @default.
• W2169150716 creator A5060590567 @default.
• W2169150716 date "2008-01-01" @default.
• W2169150716 modified "2023-09-23" @default.
• W2169150716 title "Bounded reverse mathematics" @default.
• W2169150716 cites W1491152510 @default.
• W2169150716 cites W1516388913 @default.
• W2169150716 cites W1517853613 @default.
• W2169150716 cites W1520950860 @default.
• W2169150716 cites W1553743817 @default.
• W2169150716 cites W1556453281 @default.
• W2169150716 cites W1563012911 @default.
• W2169150716 cites W1572440476 @default.
• W2169150716 cites W1572451808 @default.
• W2169150716 cites W1607926272 @default.
• W2169150716 cites W169256259 @default.
• W2169150716 cites W1829815351 @default.
• W2169150716 cites W1968584500 @default.
• W2169150716 cites W1978174880 @default.
• W2169150716 cites W1985834822 @default.
• W2169150716 cites W1985854796 @default.
• W2169150716 cites W1994775833 @default.
• W2169150716 cites W1997908783 @default.
• W2169150716 cites W2012539169 @default.
• W2169150716 cites W2015413218 @default.
• W2169150716 cites W2017205387 @default.
• W2169150716 cites W2024091095 @default.
• W2169150716 cites W2036651904 @default.
• W2169150716 cites W2038247515 @default.
• W2169150716 cites W2040404640 @default.
• W2169150716 cites W2045583484 @default.
• W2169150716 cites W2047580436 @default.
• W2169150716 cites W2052680294 @default.
• W2169150716 cites W2055138800 @default.
• W2169150716 cites W2065582132 @default.
• W2169150716 cites W2071204190 @default.
• W2169150716 cites W2072573877 @default.
• W2169150716 cites W2084344766 @default.
• W2169150716 cites W2086897006 @default.
• W2169150716 cites W2088885554 @default.
• W2169150716 cites W2090101829 @default.
• W2169150716 cites W2091961944 @default.
• W2169150716 cites W2104952158 @default.
• W2169150716 cites W2128026324 @default.
• W2169150716 cites W2150755079 @default.
• W2169150716 cites W2163512254 @default.
• W2169150716 cites W2171280299 @default.
• W2169150716 cites W2171601561 @default.
• W2169150716 cites W2319049567 @default.
• W2169150716 cites W2460611553 @default.
• W2169150716 cites W2576893385 @default.
• W2169150716 cites W2913217397 @default.
• W2169150716 cites W3128307576 @default.
• W2169150716 cites W49401050 @default.
• W2169150716 cites W9698083 @default.
• W2169150716 hasPublicationYear "2008" @default.
• W2169150716 type Work @default.
• W2169150716 sameAs 2169150716 @default.
• W2169150716 citedByCount "6" @default.
• W2169150716 countsByYear W21691507162014 @default.
• W2169150716 countsByYear W21691507162015 @default.
• W2169150716 countsByYear W21691507162016 @default.
• W2169150716 countsByYear W21691507162020 @default.
• W2169150716 crossrefType "journal-article" @default.
• W2169150716 hasAuthorship W2169150716A5060590567 @default.
• W2169150716 hasConcept C108710211 @default.
• W2169150716 hasConcept C118615104 @default.
• W2169150716 hasConcept C134306372 @default.
• W2169150716 hasConcept C2524010 @default.
• W2169150716 hasConcept C2780069185 @default.
• W2169150716 hasConcept C33923547 @default.
• W2169150716 hasConcept C34388435 @default.
• W2169150716 hasConceptScore W2169150716C108710211 @default.
• W2169150716 hasConceptScore W2169150716C118615104 @default.
• W2169150716 hasConceptScore W2169150716C134306372 @default.
• W2169150716 hasConceptScore W2169150716C2524010 @default.
• W2169150716 hasConceptScore W2169150716C2780069185 @default.
• W2169150716 hasConceptScore W2169150716C33923547 @default.
• W2169150716 hasConceptScore W2169150716C34388435 @default.
• W2169150716 hasLocation W21691507161 @default.
• W2169150716 hasOpenAccess W2169150716 @default.
• W2169150716 hasPrimaryLocation W21691507161 @default.
• W2169150716 hasRelatedWork W1537230380 @default.
• W2169150716 hasRelatedWork W1556453281 @default.
• W2169150716 hasRelatedWork W1563012911 @default.
• W2169150716 hasRelatedWork W1607926272 @default.
• W2169150716 hasRelatedWork W2019671617 @default.
• W2169150716 hasRelatedWork W2044548049 @default.
• W2169150716 hasRelatedWork W2050204928 @default.
• W2169150716 hasRelatedWork W2056827464 @default.
• W2169150716 hasRelatedWork W2073746311 @default.
• W2169150716 hasRelatedWork W2121683501 @default.
• W2169150716 hasRelatedWork W2128026324 @default.
• W2169150716 hasRelatedWork W2460611553 @default.
• W2169150716 hasRelatedWork W2506657322 @default.
• W2169150716 hasRelatedWork W2579968970 @default.
• W2169150716 hasRelatedWork W2762225945 @default.
• W2169150716 hasRelatedWork W2788272802 @default.
• W2169150716 hasRelatedWork W2951424111 @default.

• next