Finitary consistency of a free arithmetic

DOI10.1305/NDJFL/1093870628zbMATH Open0545.03034OpenAlexW2023616008MaRDI QIDQ797576FDOQ797576

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

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

zbMATH Keywords

finitary consistencyfree arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Local consistency of arithmetic with an attainability predicate

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)