Nonpresentability of some structures of analysis in hereditarily finite superstructures

DOI10.1007/s10469-018-9468-7zbMath1420.03076OpenAlexW2791425253WikidataQ130201411 ScholiaQ130201411MaRDI QIDQ1644856

Andrey S. Morozov

Publication date: 22 June 2018

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-018-9468-7

zbMATH Keywords

nonstandard analysishereditarily finite superstructure\(\Sigma\)-presentabilitycountable consistent theoryexistentially Steinitz structureinfinitedimensional separable Hilbert spacesemigroup of continuous functions

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

On mutual definability of operations on fields ⋮ Computable Model Theory over the Reals ⋮ \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)

Cites Work

• Some presentations of the real number field
• Recursion theory on fields and abstract dependence
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• Degrees of Indiscernibles in Decidable Models
• Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonpresentability of some structures of analysis in hereditarily finite superstructures