L'arithmétique ouverte et ses modèles non-standards
From MaRDI portal
Publication:3984444
Recommendations
Cites work
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)