Publication:3770532
From MaRDI portal
zbMath0633.03058MaRDI QIDQ3770532
Publication date: 1986
companion; second order arithmetic; Comprehension; beta-models; 1-sections of type 2 objects; transitive model of KP
03F35: Second- and higher-order arithmetic and fragments