Finitary consistency of a free arithmetic

DOI10.1305/NDJFL/1093870628MaRDI QIDQ797576zbMATHOpenAlexFDO

Authors Ermanno Bencivenga

Publication date 1984

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

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

zbMATH Keywords

finitary consistencyfree arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• A Free-Variable Theory of Primitive Recursive Arithmetic
• scientific article; zbMATH DE number 14544
• On the structure of initial segments of models of arithmetic
• The consistency of arithmetic
• scientific article; zbMATH DE number 4099294

Cited in

(3)

• Local consistency of arithmetic with an attainability predicate
• scientific article; zbMATH DE number 14544 (Why is no real title available?)
• scientific article; zbMATH DE number 4099294 (Why is no real title available?)

This page was built for publication: Finitary consistency of a free arithmetic

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