Nonpresentability of the semigroup ^ over H F( R)

DOI10.1134/S0037446614010157zbMATH Open1386.03038MaRDI QIDQ467668FDOQ467668

Authors: Andrei S. Morozov 

Publication date: 4 November 2014

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

Recommendations

• Nonpresentability of some structures of analysis in hereditarily finite superstructures
• A sufficient condition for nonpresentability of structures in hereditarily finite superstructures
• One-dimensional \(\Sigma\)-presentations of structures over \(\mathrm{HF}(\mathbb R\))
• \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
• \(\Sigma\)-presentations of the ordering on the reals

zbMATH Keywords

definabilitycomputabilitysemigroup of mappingssigma-definabilitysigma-presentability

Mathematics Subject Classification ID

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

Cites Work

• HF-computability
• Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On \(\Sigma\)-rigid presentations of the real order
• Some presentations of the real number field
• Title not available (Why is that?)
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

Cited In (4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467668)