scientific article
From MaRDI portal
Publication:3931264
zbMath0476.03045MaRDI QIDQ3931264
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Partial orders, general (06A06) Special categories (18B99) Recursive equivalence types of sets and structures, isols (03D50) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Model theory of denumerable and separable structures (03C15)
Related Items (27)
Recursive unary algebras and trees ⋮ Strong \(\Delta ^ 0_ 2\) categoricity ⋮ Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations ⋮ Structures computable in polynomial time. II ⋮ Constructivizable models with a linear structure of algebraic reducibility ⋮ Nonuniform autostability of models ⋮ Freely generated projective planes with finite computable dimension ⋮ Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations ⋮ Degrees of relative computable categoricity ⋮ A structure of punctual dimension two ⋮ Some effects of Ash-Nerode and other decidability conditions on degree spectra ⋮ Algebraic structures computable without delay ⋮ The theory of projective planes is complete with respect to degree spectra and effective dimensions ⋮ Categoricity and complexity of relations over algebraic structures ⋮ Computable structures and operations on the space of continuous functions ⋮ Non-density in punctual computability ⋮ Linear orders with distinguished function symbol ⋮ Index sets for some classes of structures ⋮ Turing degrees of complete formulas of almost prime models ⋮ Algorithmic degree of unars ⋮ Nilpotent groups of finite algorithmic dimension ⋮ Computable isomorphisms, degree spectra of relations, and Scott families ⋮ Relativizing computable categoricity ⋮ PUNCTUAL CATEGORICITY AND UNIVERSALITY ⋮ \(\Sigma\)-presentations of the ordering on the reals ⋮ Positive numerations of families with one-valued numerations ⋮ Algorithmic dimensions of homomorphic images of models
This page was built for publication:
