Gödel’s second incompleteness theorem for Σn-definable theories

DOI10.1093/JIGPAL/JZX061zbMath1492.03019OpenAlexW2260868274MaRDI QIDQ5095636

Conden Chao, Payam Seraji

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzx061

zbMATH Keywords

Peano arithmeticsoundnesssecond incompleteness theoremdefinable theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

This page was built for publication: Gödel’s second incompleteness theorem for Σn-definable theories