Merkliste 
 1 Ergebnisse 
 
1

Regularity in Models of Arithmetic:

Mills, George ; Paris, Jeff
The Journal of Symbolic Logic.  49 (1984)  1 - p. 272-280 , 1984