Index sets of prime models

MaRDI QIDQ2454492zbMATH OpenFDO

Authors E. N. Pavlovskij

Publication date 13 June 2014

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL http://semr.math.nsc.ru/v5/p200-210.pdf

zbMATH Keywords

index setcomputable modelprime modelhyperarithmetic hierarchymodel-theoretic construction

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57) Properties of classes of models (03C52) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• scientific article; zbMATH DE number 5379427
• The complexity of index sets for several classes of models
• Index sets for some classes of structures
• Index sets of computable structures
• scientific article; zbMATH DE number 3853049

Cited in

(7)

• Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations
• Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations
• Amalgams of prime index
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• Classifying model-theoretic properties
• Index sets of constructive models that are autostable under strong constructivizations
• scientific article; zbMATH DE number 6262009 (Why is no real title available?)

This page was built for publication: Index sets of prime models

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