scientific article; zbMATH DE number 7360031

zbMath1474.03102MaRDI QIDQ4993791

A. V. Dichev

Publication date: 16 June 2021

Full work available at URL: https://www.fmi.uni-sofia.bg/en/node/6751

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

zbMATH Keywords

enumerationstructureexact effective enumerationtotal structure

Mathematics Subject Classification ID

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

Cites Work

• Effective choice of constructivizations and recursive consistency of problems on constructive models
• Definability via enumerations
• Abstract First Order Computability. I
• Abstract Computability and Invariant Definability
• The Complexity of intrinsically r.e. subsets of existentially decidable models
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: