scientific article
From MaRDI portal
Publication:2906566
zbMath1260.03086MaRDI QIDQ2906566
A. I. Stukachev, V. G. Puzarenko, Yuri L. Ershov
Publication date: 5 September 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A sufficient condition for nonpresentability of structures in hereditarily finite superstructures, Definable Subsets of Polynomial-Time Algebraic Structures, Nonpresentability of some structures of analysis in hereditarily finite superstructures, Universal functions over trees, On mutual definability of operations on fields, Generalized fusible numbers and their ordinals, On \(\Sigma\)-rigid presentations of the real order, Positive numberings in admissible sets, Universal functions and \(K \Sigma \)-structures, Conditional terms in semantic programming, Tarski-type problems for free associative algebras, Enumeration Reducibility and Computable Structure Theory, Computable Model Theory over the Reals, What does a group algebra of a free group ``know about the group?, Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\), Recursive terms in semantic programming, Universal functions and unbounded branching trees, \(\Sigma\)-definability in hereditarily finite superstructures and computable analysis, Universal functions and almost \(c\)-simple models, Universal functions and \(\Sigma_\omega \)-bounded structures, Some presentations of the real number field, \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\), Computable embeddings for pairs of linear orders, A Computable Structure with Non-Standard Computability, A note on computable embeddings for ordinals and their reverses, A class of almost \(c\)-simple rings, On universal functions in hereditarily finite superstructures
