An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA

zbMath1124.03033MaRDI QIDQ2642795

Gilda Ferreira, Isabel Oitavem

Publication date: 5 September 2007

Published in: Portugaliae Mathematica. Nova Série (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/53547

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (1)

Bounded theories for polyspace computability

This page was built for publication: An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA