Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\)

DOI10.1305/NDJFL/1093635928zbMath0749.03041OpenAlexW2094240445WikidataQ57253079 ScholiaQ57253079MaRDI QIDQ1182693

Alessandra Carbone

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635928

zbMATH Keywords

bounded arithmeticprovable fixed pointsshortenings of proofsweakening of Sigma-completeness

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (1)

Bounded arithmetic, proof complexity and two papers of Parikh

This page was built for publication: Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\)