New models of bounded induction axioms

DOI10.1007/S10958-005-0352-3zbMath1145.03336OpenAlexW1973975551MaRDI QIDQ937904

Jean-Pierre Ressayre, Sedki Boughattas

Publication date: 18 August 2008

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-005-0352-3

Mathematics Subject Classification ID

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

Cites Work

• Multifunction algebras and the provability of \(PH\downarrow\)

This page was built for publication: New models of bounded induction axioms