The ordering principle in a fragment of approximate counting
Visualitza/Obre
Cita com:
hdl:2117/28288
Tipus de documentArticle
Data publicació2014
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
The ordering principle states that every finite linear order has a least element. We show that, in the relativized setting, the surjective weak pigeonhole principle for polynomial time functions does not prove a Herbrandized version of the ordering principle over T-2(1). This answers an open question raised in Buss et al. [2012] and completes their program to compare the strength of Jerabek's bounded arithmetic theory for approximate counting with weakened versions of it.
CitacióAtserias, A.; Thapen, N. The ordering principle in a fragment of approximate counting. "ACM transactions on computational logic", 2014, vol. 15, núm. 4.
ISSN1529-3785
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
fragment-of-apc.pdf | Versio revisada sense el format de l'editor | 319,0Kb | Visualitza/Obre |