scientific article; zbMATH DE number 4029557

zbMATH Open0633.03058MaRDI QIDQ3770532FDOQ3770532

Authors: Jun Makino, Juichi Shinoda 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• An incompleteness theorem for β_n-models
• On the relation between choice and comprehension principles in second order arithmetic
• Omega‐ and Beta‐Models of Alternative Set Theory
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• scientific article; zbMATH DE number 4043837

zbMATH Keywords

companionsecond order arithmeticComprehensionbeta-models1-sections of type 2 objectstransitive model of KP

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Cited In (1)

• An incompleteness theorem for β_n-models

This page was built for publication:

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