On interpretations of bounded arithmetic and bounded set theory

DOI10.1215/00294527-2009-003zbMath1183.03029arXiv0807.4850OpenAlexW2061699228MaRDI QIDQ1038653

Richard Pettigrew

Publication date: 18 November 2009

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

Full work available at URL: https://arxiv.org/abs/0807.4850

zbMATH Keywords

interpretationsfinite set theorybounded induction

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (2)

Constructive Ackermann's interpretation ⋮ Bounded finite set theory

This page was built for publication: On interpretations of bounded arithmetic and bounded set theory