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

DOI10.2307/2274712zbMath0757.03027OpenAlexW2154334210MaRDI QIDQ3984444

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)

Related Items

End extensions of models of weak arithmetic theories ⋮ Bootstrapping. I ⋮ Algebraic combinatorics in bounded induction ⋮ Polynomial time uniformization and non-standard methods

Cites Work

• Model Theoretic Algebra

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