An application of a reflection principle

DOI10.4064/FM180-2-2MaRDI QIDQ4811317zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1421113
• scientific article; zbMATH DE number 1225791
• A strong reflection principle
• The diagonal reflection principle
• On reflection principles
• On reflection principles
• scientific article; zbMATH DE number 1396736
• On stationary reflection principles
• scientific article; zbMATH DE number 1827959
• scientific article; zbMATH DE number 1857884

Cited in

(8)

• On reflection principles
• The small-is-very-small principle
• An application of mirror extensions
• Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme
• scientific article; zbMATH DE number 1421113 (Why is no real title available?)
• On reflection principles
• The Complexity of intrinsically r.e. subsets of existentially decidable models
• Reflection principles for class groups

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

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