Universal Induction and True Universal Arithmetic

DOI10.1002/MALQ.19940400114zbMath0805.03026OpenAlexW2003974596MaRDI QIDQ4304155

Teresa Bigorajska

Publication date: 8 September 1994

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

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

zbMATH Keywords

finitely generated model for inductiontrue universal arithmeticuniversal induction

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

This page was built for publication: Universal Induction and True Universal Arithmetic