Decidable categoricity spectra for almost prime models

DOI10.1007/S10469-024-09746-1MaRDI QIDQ6597843FDOQ6597843

Margaret I. Marchuk, Nikolay Bazhenov

Publication date: 4 September 2024

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

computable modelcomputable categoricitydecidable modelautostability relative to strong constructivizationsPA-degreedecidable categoricitydecidable categoricity spectrumdegree of decidable categoricity

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Strong and weak constructivization and computable families
• Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• ∏ 0 1 Classes and Degrees of Theories
• Problem of the number of non-self-equivalent constructivizations
• Degrees of categoricity and the hyperarithmetic hierarchy
• Degrees of categoricity of computable structures
• Degrees of autostability relative to strong constructivizations
• On autostability of almost prime models relative to strong constructivizations
• Autostability of prime models under strong constructivizations
• The complexity of computable categoricity
• Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
• The index set of the groups autostable relative to strong constructivizations
• Degrees of autostability relative to strong constructivizations for Boolean algebras
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• The index set of Boolean algebras autostable relative to strong constructivizations
• Index sets of autostable relative to strong constructivizations constructive models for familiar classes
• Degrees of autostability relative to strong constructivizations of graphs
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
• Degrees of categoricity vs. strong degrees of categoricity
• Computable categoricity for algebraic fields with splitting algorithms
• Categoricity spectra for rigid structures
• The degree of decidable categoricity of a model with infinite solutions for complete formulas
• On decidable categoricity and almost prime models
• Every Δ20 degree is a strong degree of categoricity
• Разрешимая категоричность почти простых моделей сигнатуры графов

This page was built for publication: Decidable categoricity spectra for almost prime models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6597843)