scientific article
From MaRDI portal
Publication:3775536
zbMath0636.03030MaRDI QIDQ3775536
Publication date: 1987
Full work available at URL: https://eudml.org/doc/187378
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite modelsindex setsarithmetical complexityarithmetical hierarchycomputable indexingconstructivizationeffectively presented models
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (4)
Effectively infinite classes of weak constructivizations of models ⋮ Computability of the set of computable indexing schemes of the class of constructible models ⋮ Computable classes of constructive models with non-limit-equivalent indexations ⋮ Computability of some subclasses of the computable class of constructive models
This page was built for publication:
