Correction to "On definability of relations in standard models of fragments of first order arithmetic"
スポンサーリンク
概要
著者
関連論文
- A note on built-upness
- Correction to "On definability of relations in standard models of fragments of first order arithmetic"
- On Definability of Relations in Standard Models of Flagments of First Order Arithmetic