scientific article

zbMath1164.03326MaRDI QIDQ3544794

Ekaterina B. Fokina

Publication date: 8 December 2008

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

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

zbMATH Keywords

index setcomputable structurecountably categorical theorydecidable structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Categoricity and completeness of theories (03C35)

Related Items (10)

Degrees of autostability relative to strong constructivizations for Boolean algebras ⋮ Index set of structures with two equivalence relations that are autostable relative to strong constructivizations ⋮ There is no classification of the decidably presentable structures ⋮ Computable numberings of the class of Boolean algebras with distinguished endomorphisms ⋮ A note on decidable categoricity and index sets ⋮ Index sets of autostable relative to strong constructivizations constructive models for familiar classes ⋮ Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations ⋮ Index Sets of Constructive Models that are Autostable Under Strong Constructivizations ⋮ AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES ⋮ Index sets for some classes of structures

This page was built for publication: