scientific article; zbMATH DE number 6797651
From MaRDI portal
Publication:5371227
zbMath1373.03069MaRDI QIDQ5371227
Publication date: 25 October 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
back-and-forth relationsbf-ordinaleffective-bi-interpretabilitylow propertyrice relationssigma small classes
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (19)
Jump inversions of algebraic structures and the \({\Sigma}\)-definability ⋮ THE TREE OF TUPLES OF A STRUCTURE ⋮ On functors enumerating structures ⋮ Computable Heyting algebras with distinguished atoms and coatoms ⋮ Jump inversions of algebraic structures and Σ‐definability ⋮ Degree spectra of real closed fields ⋮ HKSS-completeness of modal algebras ⋮ A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS ⋮ Computability of distributive lattices ⋮ BOREL FUNCTORS AND INFINITARY INTERPRETATIONS ⋮ Finitely generated groups are universal among finitely generated structures ⋮ COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY ⋮ A note on computable distinguishing colorings ⋮ Categoricity spectra of computable structures ⋮ Model completeness and relative decidability ⋮ Constructing decidable graphs from decidable structures ⋮ Classifications of definable subsets ⋮ Point Degree Spectra of Represented Spaces ⋮ Computable analysis and classification problems
This page was built for publication:
