Author:
VÄÄNÄNEN JOUKO,WESTERSTÅHL DAG
Reference24 articles.
1. The Arithmetization of Metamathematics in a General Setting;Feferman;Fundamenta Mathematicae,1960
2. My Route to Arithmetization;Feferman;Theoria,1997
3. On Model-completeness;Lindström;Theoria,1964
4. On Characterizability in Lω1ω;Lindström;Theoria,1966