Nonpresentability of some structures of analysis in hereditarily finite superstructures
type: Item
instance of: scholarly article
title: Nonpresentability of some structures of analysis in hereditarily finite superstructures
zbMATH Open document ID: 1420.03076
published in: Algebra and Logic
publication date: 2018-06-22T00:00:00Z
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D45
zbMATH DE Number: 6893159
zbMATH Keywords: \(\Sigma\)-presentability
zbMATH Keywords: countable consistent theory
zbMATH Keywords: hereditarily finite superstructure
zbMATH Keywords: existentially Steinitz structure
zbMATH Keywords: semigroup of continuous functions
zbMATH Keywords: nonstandard analysis
zbMATH Keywords: infinitedimensional separable Hilbert space
author: Andrei S. Morozov
MaRDI profile type: Publication
full work available at URL: s10469-018-9468-7
OpenAlex ID: W2791425253
cites work: A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
cites work: Q4935938
cites work: Q4249360
cites work: Q3464659
cites work: Q5294751
cites work: Q4075450
cites work: Q4882531
cites work: Some presentations of the real number field
cites work: Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
cites work: Model Theory
cites work: Degrees of Indiscernibles in Decidable Models
cites work: Recursion theory on fields and abstract dependence
cites work: HF-computability
cites work: Q5644548
Wikidata QID: Q130201411
DOI: 10.1007/S10469-018-9468-7
description: scientific article; zbMATH DE number 6893159