New studies in weak arithmetics

MaRDI QIDQ2922539zbMATH OpenFDO

Authors

Publication date 13 October 2014

Published in CSLI Lecture Notes (Search for Journal in Brave)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cited in

(3)

• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• scientific article; zbMATH DE number 3987272 (Why is no real title available?)
• The strength of replacement in weak arithmetic

This page was built for publication: New studies in weak arithmetics

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