scientific article

zbMath1164.03334MaRDI QIDQ3545596

E. N. Pavlovskij

Publication date: 11 December 2008

Full work available at URL: https://eudml.org/doc/55574

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

zbMATH Keywords

index setcomputable model

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computable structure theory, computable model theory (03C57) Categoricity and completeness of theories (03C35)

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 ⋮ Computable numberings of the class of Boolean algebras with distinguished endomorphisms ⋮ Index Sets of Constructive Models that are Autostable Under Strong Constructivizations

This page was built for publication: