A recursive model for arithmetic with weak induction

DOI10.2307/2273787zbMath0576.03045OpenAlexW1990463523MaRDI QIDQ3697018

Zofia Adamowicz, Guillermo Morales Luna

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273787

zbMATH Keywords

open inductionalgebraically closed ringsnonstandard recursive models of arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Computable structure theory, computable model theory (03C57)

This page was built for publication: A recursive model for arithmetic with weak induction