Pages that link to "Item:Q3984444"
From MaRDI portal
The following pages link to L'arithmétique ouverte et ses modèles non-standards (Q3984444):
Displaying 7 items.
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- Bootstrapping. I (Q636291) (← links)
- Polynomial time uniformization and non-standard methods (Q1817062) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- (Q3312228) (← links)
- On the structure of models of bounded $E\sb 1$-induction (Q3682483) (← links)
- Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem (Q3753991) (← links)