Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

DOI10.1007/s10469-008-9009-xzbMath1164.03332OpenAlexW2016574823MaRDI QIDQ3546124

Andrey S. Morozov, Margarita Korovina

Publication date: 18 December 2008

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

Full work available at URL: https://doi.org/10.1007/s10469-008-9009-x

zbMATH Keywords

countable modelcomputable model\(\Sigma \)-definability

Mathematics Subject Classification ID

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

Related Items (10)

A sufficient condition for nonpresentability of structures in hereditarily finite superstructures ⋮ Nonpresentability of some structures of analysis in hereditarily finite superstructures ⋮ On functors enumerating structures ⋮ On mutual definability of operations on fields ⋮ Generalized fusible numbers and their ordinals ⋮ Computable Model Theory over the Reals ⋮ Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) ⋮ \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) ⋮ The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field ⋮ \(\Sigma\)-presentations of the ordering on the reals

This page was built for publication: Σ-Definability of countable structures over real numbers, complex numbers, and quaternions