The $omega;1-like recursively saturated models of arithmetic

Bulletin of the Section of Logic, Tom 20, Numer 3-4 (1991) s. 109
Roman Kossak

 

do góry