An application of a reflection principle

DOI10.4064/fm180-2-2zbMath1053.03032OpenAlexW2061657773MaRDI QIDQ4811317

Zofia Adamowicz, Paweł Zbierski, Leszek Aleksander Kołodziejczyk

Publication date: 19 August 2004

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: http://journals.impan.gov.pl/fm/Inf/180-2-2.html

zbMATH Keywords

definable elementsfragments of arithmeticbounded induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items (1)

Truth definitions without exponentiation and the Σ₁ collection scheme

This page was built for publication: An application of a reflection principle