A note on Δ1induction and Σ1collection

DOI10.4064/FM186-1-6zbMath1082.03050OpenAlexW2589526912MaRDI QIDQ5694289

Neil Thapen

Publication date: 29 September 2005

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm186-1-6

zbMATH Keywords

bounded arithmeticfragments of arithmeticcollection principle

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (2)

On axiom schemes for \(T\)-provably \(\Delta_1\) formulas ⋮ 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06

This page was built for publication: A note on Δ₁induction and Σ₁collection