L'arithmétique ouverte et ses modèles non-standards

DOI10.2307/2274712MaRDI QIDQ3984444zbMATH OpenOpenAlexFDO

Authors Sedki Boughattas

Publication date 27 June 1992

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

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

zbMATH Keywords

finite axiomatizability\(n\)th rootinduction scheme for open formulas

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 4091496
• On the structure of models of bounded $E\sb 1$-induction
• On Diophantine equations solvable in models of open induction
• Bounded existential induction
• A recursive nonstandard model of normal open induction

Cites work

• Model Theoretic Algebra

Cited in

(13)

• On the structure of models of bounded $E\sb 1$-induction
• Bounded existential induction
• Bootstrapping. I
• End extensions of models of weak arithmetic theories
• On Diophantine equations solvable in models of open induction
• Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
• Near-linearity and open induction
• A recursive model for arithmetic with weak induction
• scientific article; zbMATH DE number 3841857 (Why is no real title available?)
• Algebraic combinatorics in bounded induction
• A recursive nonstandard model for open induction with GCD property and cofinal primes
• scientific article; zbMATH DE number 4091496 (Why is no real title available?)
• Polynomial time uniformization and non-standard methods

This page was built for publication: L'arithmétique ouverte et ses modèles non-standards

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