|
|||||
|
|
A note on a theorem of Kanovei |
|
| Authors: | |
| Institution: | (1) Graduate Center of City, University of New York, 365 Fifth Avenue, New York NY, 10016-4309, USA |
| Abstract: | We give a short proof of a theorem of Kanovei on separating induction and collection schemes for  n formulas using families of subsets of countable models of arithmetic coded in elementary end extensions.Mathematics Subject Classification (2000): 03C62 |
| Keywords: | Fragment of arithmetic Recursive saturation Satisfaction class |
| 本文献已被 SpringerLink 等数据库收录！ | |