A Note on BΣn and an Intermediate Induction Schema

DOI10.1002/MALQ.19880340309zbMath0685.03041OpenAlexW2128455867MaRDI QIDQ4735189

Zofia Adamowicz, Roman Kossak

Publication date: 1988

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19880340309

zbMATH Keywords

collection schemainduction schemafragments of arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Related Items (1)

A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem

This page was built for publication: A Note on BΣ_n and an Intermediate Induction Schema