Binumerability in a sequence of theories

MaRDI QIDQ1163544zbMATH OpenFDO

Authors Franco Parlamento

Publication date 1981

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_1981__65__9_0, https://eudml.org/doc/107832

zbMATH Keywords

extensions of Robinson's arithmeticsequence of theories for arithmetic

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) First-order arithmetic and fragments (03F30)

Cites work

• A sequence of theories for arithmetic whose union is complete
• Arithmetization of metamathematics in a general setting

This page was built for publication: Binumerability in a sequence of theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1163544)