On autostability of almost prime models relative to strong constructivizations

DOI10.1070/RM2010v065n05ABEH004704zbMath1219.03038OpenAlexW1981656597MaRDI QIDQ3082391

Sergei S. Goncharov

Publication date: 10 March 2011

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm2010v065n05abeh004704

zbMATH Keywords

decidable theoryautostabilitycomputable modelconstructive modelprime modeldecidable modelEhrenfeucht theorystrongly constructive modelalmost prime model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35)

Related Items (9)

Distributions of countable models of disjoint unions of Ehrenfeucht theories ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ A note on decidable categoricity and index sets ⋮ On decidable categoricity and almost prime models ⋮ DISTRIBUTIONS OF COUNTABLE MODELS OF QUITE O-MINIMAL EHRENFEUCHT THEORIES ⋮ \(P^*\)-combinations of almost \(\omega\)-categorical weakly o-minimal theories ⋮ Degrees of autostability relative to strong constructivizations ⋮ Turing degrees of complete formulas of almost prime models ⋮ The degree of decidable categoricity of a model with infinite solutions for complete formulas

This page was built for publication: On autostability of almost prime models relative to strong constructivizations