scientific article; zbMATH DE number 1873435
From MaRDI portal
Publication:4795524
zbMath1008.03023MaRDI QIDQ4795524
Publication date: 24 February 2003
Full work available at URL: https://eudml.org/doc/188025
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35)
Related Items (11)
Degrees of autostability for linear orders and linearly ordered abelian groups ⋮ Torsion-free abelian groups with optimal Scott families ⋮ Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism ⋮ Degrees of categoricity for superatomic Boolean algebras ⋮ Computability-theoretic categoricity and Scott families ⋮ Computability of distributive lattices ⋮ Degree Spectra of Relations on a Cone ⋮ 2-Computably Enumerable Degrees of Categoricity for Boolean Algebras with Distinguished Automorphisms ⋮ Degrees of autostability relative to strong constructivizations ⋮ Categoricity spectra of computable structures ⋮ On \(\Delta_2^0\)-categoricity of equivalence relations
This page was built for publication: