Decidable categoricity spectra for almost prime models
type: Item
instance of: scholarly article
title: Decidable categoricity spectra for almost prime models
author: Nikolay Bazhenov
author: Margaret I. Marchuk
published in: Algebra and Logic
publication date: 2024-09-04T00:00:00Z
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 20-XX
zbMATH DE Number: 7906266
zbMATH Keywords: computable model
zbMATH Keywords: decidable model
zbMATH Keywords: computable categoricity
zbMATH Keywords: decidable categoricity
zbMATH Keywords: autostability relative to strong constructivizations
zbMATH Keywords: degree of decidable categoricity
zbMATH Keywords: decidable categoricity spectrum
zbMATH Keywords: PA-degree
MaRDI profile type: MaRDI publication profile
cites work: Degrees of autostability relative to strong constructivizations
cites work: Degrees of categoricity of computable structures
cites work: Degrees of categoricity and the hyperarithmetic hierarchy
cites work: Computable categoricity for algebraic fields with splitting algorithms
cites work: Categoricity spectra for rigid structures
cites work: Degrees of categoricity vs. strong degrees of categoricity
cites work: Problem of the number of non-self-equivalent constructivizations
cites work: Strong and weak constructivization and computable families
cites work: Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
cites work: Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
cites work: The complexity of computable categoricity
cites work: Every Δ20 degree is a strong degree of categoricity
cites work: On autostability of almost prime models relative to strong constructivizations
cites work: Autostability of prime models under strong constructivizations
cites work: Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
cites work: The index set of Boolean algebras autostable relative to strong constructivizations
cites work: Q5741407
cites work: Index sets of autostable relative to strong constructivizations constructive models for familiar classes
cites work: Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
cites work: Degrees of autostability relative to strong constructivizations for Boolean algebras
cites work: The index set of the groups autostable relative to strong constructivizations
cites work: Degrees of autostability relative to strong constructivizations of graphs
cites work: The degree of decidable categoricity of a model with infinite solutions for complete formulas
cites work: Разрешимая категоричность почти простых моделей сигнатуры графов
cites work: Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
cites work: On decidable categoricity and almost prime models
cites work: Q5596777
cites work: ∏ 0 1 Classes and Degrees of Theories
DOI: 10.1007/S10469-024-09746-1
description: scientific article; zbMATH DE number 7906266