Models of arithmetic in A-isols

DOI10.1007/BF01978832MaRDI QIDQ1803012zbMATH OpenOpenAlexFDO

Authors 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 functionsarithmetic isolsarithmetic relationsNerode extensionsregressive isols

Mathematics Subject Classification ID

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

Review text

Nerode showed that each countable Diophantine correct nonstandard model of arithmetic \({\mathcal N}=\langle N;+,\cdot\rangle\) is embedded in a set of isols. Continuing the process of transferring concepts from isols to arithmetic isols (\(A\)-isols), taken by \textit{A. Nerode} [Proc. Symp. Pure Math. 5, 105-116 (1962; Zbl 0178.319)], let us introduce new concepts from the theory of isols and regressive isols and show that in the set of \(A\)-isols one can distinguish subsets, the extension on which of the set \({\mathcal A}\) of all arithmetic functions and the set \({\mathcal R}({\mathcal A})\) of all arithmetic relations has the same elementary theory as the arithmetic \({\mathcal N}_ A=\langle N;{\mathcal A},{\mathcal R}({\mathcal A})\rangle\).

Recommendations

• Theories of arithmetics in finite models
• Subsets of models of arithmetic
• Publication:3487326
• Arithmetically saturated models of arithmetic
• scientific article; zbMATH DE number 4043837
• Models of arithmetic and categories with finiteness conditions
• A model theoretic approach to proof theory of arithmetic
• scientific article; zbMATH DE number 999649
• Automorphisms of models of arithmetic: a unified view
• On the structure of initial segments of models of arithmetic

Cites work

• Diophantine correct non-standard models in the isols
• Extensions to isols
• scientific article; zbMATH DE number 3427337 (Why is no real title available?)
• scientific article; zbMATH DE number 3285215 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Hyper-torre isols
• The minimum of two regressive isols

Cited in

(8)

• Relatively diophantine correct models of arithmetic
• Embeddings of and into Nerode semirings
• On the structure of initial segments of models of arithmetic
• Some Properties of ∀∃ Models in the Isols
• On the Minimality of Tame Models in the Isols
• On models of the elementary theory of (Z, +, 1)
• scientific article; zbMATH DE number 2208069 (Why is no real title available?)
• scientific article; zbMATH DE number 2236624 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1803012)