An interpretation of S12 in Σ b1-NIA

An interpretation of S¹₂ in Σ ^b₁-NIA

Isabel Oitavem, Gilda Ferreira

Research output: Contribution to journal › Article › peer-review

In this paper the theory S¹₂ (of Buss) is interpreted in the theory Σ^b₁−NIA (of Ferreira).

@article{1a5eb16fae724b0ba75652c06e41b36c,

title = "An interpretation of S12 in Σ b1-NIA",

abstract = "In this paper the theory S12 (of Buss) is interpreted in the theory Σb1−NIA (of Ferreira).",

keywords = "bounded arithmetic, interpretability, polynomial time",

author = "Isabel Oitavem and Gilda Ferreira",

year = "2006",

month = jan,

day = "26",

language = "English",

volume = "63",

pages = "427--450",

journal = "Portugaliae Mathematica",

issn = "0032-5155",

publisher = "EMS Press",

number = "4",

}

TY - JOUR

T1 - An interpretation of S12 in Σ b1-NIA

AU - Oitavem, Isabel

AU - Ferreira, Gilda

PY - 2006/1/26

Y1 - 2006/1/26

N2 - In this paper the theory S12 (of Buss) is interpreted in the theory Σb1−NIA (of Ferreira).

AB - In this paper the theory S12 (of Buss) is interpreted in the theory Σb1−NIA (of Ferreira).

KW - bounded arithmetic

KW - interpretability

KW - polynomial time

M3 - Article

SN - 0032-5155

VL - 63

SP - 427

EP - 450

JO - Portugaliae Mathematica

JF - Portugaliae Mathematica

IS - 4

ER -