Аннотация
We establish the reciprocal Σ-definability of the hereditarily finite superstructure and the hereditarily finite list superstructure over an arbitrary model.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 701-708 |
Число страниц | 8 |
Журнал | Journal of Mathematical Sciences (United States) |
Том | 246 |
Номер выпуска | 6 |
DOI | |
Состояние | Опубликовано - 1 мая 2020 |