scientific article; zbMATH DE number 3250559
From MaRDI portal
Publication:5537372
zbMath0156.01105MaRDI QIDQ5537372
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (35)
On categoricity spectra for locally finite graphs ⋮ Orbits of maximal vector spaces ⋮ Effectively categorical abelian groups ⋮ Prime Model with No Degree of Autostability Relative to Strong Constructivizations ⋮ Torsion-free abelian groups with optimal Scott families ⋮ Uniform \(m\)-equivalencies and numberings of classical systems ⋮ Primitive recursive reverse mathematics ⋮ Computable torsion-free nilpotent groups of finite dimension. ⋮ Degrees of relative computable categoricity ⋮ On the effective universality of mereological theories ⋮ On positive and constructive groups ⋮ Computable Heyting algebras with distinguished atoms and coatoms ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ Strong degrees of categoricity and weak density ⋮ A Note on Effective Categoricity for Linear Orderings ⋮ The complexity of computable categoricity ⋮ DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION ⋮ Independence in computable algebra ⋮ Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals ⋮ Polynomial-time Abelian groups ⋮ Categoricity spectra for polymodal algebras ⋮ Dependence relations in computably rigid computable vector spaces ⋮ Degrees of categoricity of rigid structures ⋮ Categoricity spectra of computable structures ⋮ Degree spectra of structures ⋮ Computable presentability of countable linear orders ⋮ Space complexity of abelian groups ⋮ Decompositions of decidable abelian groups ⋮ Turing degrees of complete formulas of almost prime models ⋮ FOUNDATIONS OF ONLINE STRUCTURE THEORY ⋮ On bi-embeddable categoricity of algebraic structures ⋮ Decomposability and computability ⋮ Computable topological abelian groups ⋮ \(\Sigma\)-presentations of the ordering on the reals ⋮ Countable algebra and set existence axioms
This page was built for publication:
