Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem

DOI10.1002/MALQ.19870330602MaRDI QIDQ3753991zbMATH OpenOpenAlexFDO

Authors Ibrahim Garro

Publication date 1987

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

decision problemexistential theoryHilbert's Tenth problemorder relationpower series ringsVery Weak Induction for open formulae

Mathematics Subject Classification ID

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

Recommendations

• Hilbert's tenth problem for weak theories of arithmetic
• Hierarchies of Subsystems of Weak Arithmetic
• L'arithmétique ouverte et ses modèles non-standards
• Bounded existential induction
• A recursive model for arithmetic with weak induction

Cited in

(1)

• European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987

This page was built for publication: Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem

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