An Independence Result on Weak Second Order Bounded Arithmetic

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200105)47:2<183::AID-MALQ183>3.0.CO;2-Z" /><183::AID-MALQ183>3.0.CO;2-Z 10.1002/1521-3870(200105)47:2<183::AID-MALQ183>3.0.CO;2-ZzbMath0985.03051OpenAlexW2075087635MaRDI QIDQ2720322

Satoru Kuroda

Publication date: 13 May 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200105)47:2<183::aid-malq183>3.0.co;2-z

zbMATH Keywords

function divisionlength inductionlength initial submodelsweak second order arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: An Independence Result on Weak Second Order Bounded Arithmetic