Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

A. S. Morozov

doi:10.1007/s10469-018-9468-7

Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

A. S. Morozov

Кафедра дискретной математики и информатики ММФ и СУНЦ

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

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	https://doi.org/10.1007/s10469-018-9468-7
Состояние	Опубликовано - 1 янв 2018

Доступ к документу

10.1007/s10469-018-9468-7

Link to publication in Scopus

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

Цитировать

Morozov, A. S. (2018). Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures. Algebra and Logic, 56(6), 458-472. https://doi.org/10.1007/s10469-018-9468-7

@article{ab9beffa1df448df99145a71eb4674f0,

title = "Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures",

abstract = "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.",

keywords = "countable consistent theory, existentially Steinitz structure, hereditarily finite superstructure, infinitedimensional separable Hilbert space, nonstandard analysis, semigroup of continuous functions, Σ-presentability, Sigma-presentability, MODELS, infinite-dimensional separable Hilbert space",

author = "Morozov, {A. S.}",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/s10469-018-9468-7",

language = "English",

volume = "56",

pages = "458--472",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "6",

}

TY - JOUR

T1 - Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

AU - Morozov, A. S.

PY - 2018/1/1

Y1 - 2018/1/1

N2 - 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.

AB - 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.

KW - countable consistent theory

KW - existentially Steinitz structure

KW - hereditarily finite superstructure

KW - infinitedimensional separable Hilbert space

KW - nonstandard analysis

KW - semigroup of continuous functions

KW - Σ-presentability

KW - Sigma-presentability

KW - MODELS

KW - infinite-dimensional separable Hilbert space

UR - http://www.scopus.com/inward/record.url?scp=85042438199&partnerID=8YFLogxK

U2 - 10.1007/s10469-018-9468-7

DO - 10.1007/s10469-018-9468-7

M3 - Article

AN - SCOPUS:85042438199

VL - 56

SP - 458

EP - 472

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 6

ER -