Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
type: Item
instance of: scholarly article
title: Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\)
zbMATH Open document ID: 1386.03038
DOI: 10.1134/S0037446614010157
published in: Siberian Mathematical Journal
publication date: 2014-11-04T00:00:00Z
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03D78
Mathematics Subject Classification ID: 20M20
zbMATH DE Number: 6365609
zbMATH Keywords: definability
zbMATH Keywords: computability
zbMATH Keywords: sigma-definability
zbMATH Keywords: sigma-presentability
zbMATH Keywords: semigroup of mappings
author: Andrei S. Morozov
MaRDI profile type: Publication
cites work: Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
cites work: Some presentations of the real number field
cites work: On \(\Sigma\)-rigid presentations of the real order
cites work: Q4075450
cites work: Q5573961
cites work: Q4040890
cites work: Q5792485
cites work: Model Theory
cites work: HF-computability
cites work: Q4249363
description: scientific article; zbMATH DE number 6365609