Index sets of constructive models that are autostable under strong constructivizations

DOI10.1007/S10958-015-2253-4zbMATH Open1349.03037OpenAlexW2088150916MaRDI QIDQ5741335FDOQ5741335

Authors: Margaret I. Marchuk, S. S. Goncharov 

Publication date: 22 July 2016

Published in: Journal of Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-015-2253-4

Recommendations

• Index sets of autostable relative to strong constructivizations constructive models for familiar classes
• The index set of Boolean algebras autostable relative to strong constructivizations
• scientific article; zbMATH DE number 3853049
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• The index set of linear orderings that are autostable relative to strong constructivizations

zbMATH Keywords

modelcomputable modeldecidable model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Title not available (Why is that?)
• Strong and weak constructivization and computable families
• Index sets of prime models
• Estimation of the algorithmic complexity of classes of computable models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Problem of the number of non-self-equivalent constructivizations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non Σ_n axiomatizable almost strongly minimal theories
• Title not available (Why is that?)
• Complexity of Categorical Theories with Computable Models
• Constructive models of complete solvable theories
• Strongly constructive models and numerations of the Boolean algebra of recursive sets
• Title not available (Why is that?)

Cited In (17)

• The index set of linear orderings that are autostable relative to strong constructivizations
• Title not available (Why is that?)
• The index set of the groups autostable relative to strong constructivizations
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• Title not available (Why is that?)
• Autostability of prime models under strong constructivizations
• Autostability spectra for Boolean algebras
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Title not available (Why is that?)
• Reconstructing structures with the strong small index property up to bi-definability
• Estimation of the algorithmic complexity of classes of computable models
• Index sets of classes of automatic structures
• Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
• On decidable categoricity and almost prime models
• Index sets of constructive models of nontrivial signature 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

This page was built for publication: Index sets of constructive models that are autostable under strong constructivizations

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