On theories of bounded arithmetic for NC1

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F11%3A00353280" target="_blank" >RIV/67985840:_____/11:00353280 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

On theories of bounded arithmetic for NC1

Original language description

We develop an arithmetical theory VNC1 and its variant VNC1, corresponding to "slightly nonuniform" NC1. Our theories sit between VNC1 and VL, and allow evaluation of log-depth bounded fan-in circuits under limited conditions. Propositional translationsof -formulas provable in VNC1 admit L-uniform polynomial-size Frege proofs.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2011

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

—

Volume of the periodical

162

Issue of the periodical within the volume

4

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

19

Pages from-to

—

UT code for WoS article

000287276800003

EID of the result in the Scopus database

—