Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures › Research Explorer

Novosibirsk State University's Research Portal

Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

Research output: Contribution to journal › Article › peer-review

Section of Discrete Mathematics and Computer Science of MMD and SESC

DOI

https://doi.org/10.1007/s10469-018-9468-7
Final published version

A. S. Morozov

Original language	English
Pages (from-to)	458-472
Number of pages	15
Journal	Algebra and Logic
Volume	56
Issue number	6
DOIs	https://doi.org/10.1007/s10469-018-9468-7
Publication status	Published - 1 Jan 2018

OECD FOS+WOS

Research areas

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

ID: 10354307