scientific article; zbMATH DE number 6797651

zbMath1373.03069MaRDI QIDQ5371227

Antonio Montalbán

Publication date: 25 October 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

back-and-forth relationsbf-ordinaleffective-bi-interpretabilitylow propertyrice relationssigma small classes

Mathematics Subject Classification ID

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: