Models of arithmetic in \(A\)-isols

DOI10.1007/BF01978832zbMath0790.03046OpenAlexW2005820631MaRDI QIDQ1803012

V. L. Mikheev

Publication date: 29 June 1993

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01978832

zbMATH Keywords

arithmetic functionsregressive isolsarithmetic isolsarithmetic relationsNerode extensions

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extensions to isols
• Diophantine correct non-standard models in the isols
• The minimum of two regressive isols
• Hyper-torre isols

This page was built for publication: Models of arithmetic in \(A\)-isols