On A Problem Concerning Parameter Free Induction

DOI10.1002/MALQ.19910372304MaRDI QIDQ3990706zbMATH OpenOpenAlexFDO

Authors Zofia Adamowicz, Costas Dimitracopoulos

Publication date 28 June 1992

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

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

zbMATH Keywords

collection schemefragments of arithmeticlocal induction schemapigeonhole principle

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 4075046
• On induction-free provability
• On parameter free induction schemas
• Parameter free induction and provably total computable functions
• Parameter-Free Universal Induction
• scientific article; zbMATH DE number 3922615
• A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation
• Parameter free induction and reflection
• On a famous problem of induction

Cited in

(7)

• On a co-induction question of Kechris
• Parameter free induction and provably total computable functions
• Disguising induction: proofs of the pigeonhole principle for trees
• A note on the \(\Sigma_1\) collection scheme and fragments of bounded arithmetic
• scientific article; zbMATH DE number 4039892 (Why is no real title available?)
• On parameter free induction schemas
• Parameter free induction and reflection

This page was built for publication: On A Problem Concerning Parameter Free Induction

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