Full and hat inductive definitions are equivalent in NBG

Sato, Kentaro (2015). Full and hat inductive definitions are equivalent in NBG. Archive for mathematical logic, 54(1-2), pp. 75-112. Springer International 10.1007/s00153-014-0403-x

Preview	Text art%3A10.1007%2Fs00153-014-0403-x.pdf - Published Version Available under License Publisher holds Copyright. Download (529kB) | Preview
Preview	Text FPLFP.pdf - Accepted Version Available under License Publisher holds Copyright. Download (383kB) | Preview

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Interest & Impact

Downloads

387 since deposited on 23 Jan 2015
46 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item