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

DOI10.2307/2274712zbMATH Open0757.03027OpenAlexW2154334210MaRDI QIDQ3984444FDOQ3984444

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

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

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)

Cites Work

• Model Theoretic Algebra

Cited In (13)

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

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)