Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

Результат исследования: Научные публикации в периодических изданияхстатья

2 Цитирования (Scopus)

Аннотация

It is proved that any countable consistent theory with infinite models has a Σ-presentable model of cardinality 2ω over. It is shown that some structures studied in analysis (in particular, a semigroup of continuous functions, certain structures of nonstandard analysis, and infinite-dimensional separable Hilbert spaces) have no simple Σ-presentations in hereditarily finite superstructures over existentially Steinitz structures. The results are proved by a unified method on the basis of a new general sufficient condition.

Язык оригиналаанглийский
Страницы (с-по)458-472
Число страниц15
ЖурналAlgebra and Logic
Том56
Номер выпуска6
DOI
СостояниеОпубликовано - 1 янв 2018

Fingerprint Подробные сведения о темах исследования «Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать