scientific article; zbMATH DE number 4029557

MaRDI QIDQ3770532zbMATH OpenFDO

Authors Jun Makino, Juichi Shinoda

Publication date 1986

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)

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

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)