Index sets of prime models

zbMath1299.03043MaRDI QIDQ2454492

E. N. Pavlovskij

Publication date: 13 June 2014

Published in: Sibirskie Èlektronnye 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

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

Related Items (4)

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 ⋮ Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations ⋮ Index Sets of Constructive Models that are Autostable Under Strong Constructivizations

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