Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)

DOI10.1134/S0037446614010157zbMath1386.03038MaRDI QIDQ467668

Andrey S. Morozov

Publication date: 4 November 2014

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

definabilitycomputabilitysemigroup of mappingssigma-definabilitysigma-presentability

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (3)

A sufficient condition for nonpresentability of structures in hereditarily finite superstructures ⋮ On mutual definability of operations on fields ⋮ On \(\Sigma\)-rigid presentations of the real order

Cites Work

• On \(\Sigma\)-rigid presentations of the real order
• Some presentations of the real number field
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• Model Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)