L'arithmétique ouverte et ses modèles non-standards
From MaRDI portal
Publication:3984444
DOI10.2307/2274712zbMath0757.03027OpenAlexW2154334210MaRDI QIDQ3984444
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
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
This page was built for publication: L'arithmétique ouverte et ses modèles non-standards