scientific article; zbMATH DE number 6262009

zbMath1289.03027MaRDI QIDQ5398268

Sergei S. Goncharov

Publication date: 26 February 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

index setcomputable numberingcomputable modelconstructive modelnumberingprime modeldecidable modelhyperarithmetical hierarchyalmost prime modelstrong constructive model

Mathematics Subject Classification ID

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

Related Items (5)

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 for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ 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: