Exact effective enumerations of total functional structures

MaRDI QIDQ4993791zbMATH OpenFDO

Authors Angel V. Ditchev

Publication date 16 June 2021

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

zbMATH Keywords

enumerationexact effective enumerationstructuretotal structure

Mathematics Subject Classification ID

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

Recommendations

• Exact enumerations
• scientific article; zbMATH DE number 218551
• Enumerations, countable structures and Turing degrees
• Least enumerations of partial structures
• Least enumerations of unary partial structures

Cites work

• Abstract Computability and Invariant Definability
• Abstract First Order Computability. I
• Definability via enumerations
• Effective choice of constructivizations and recursive consistency of problems on constructive models
• scientific article; zbMATH DE number 4145890 (Why is no real title available?)
• scientific article; zbMATH DE number 3930992 (Why is no real title available?)
• scientific article; zbMATH DE number 3782986 (Why is no real title available?)
• scientific article; zbMATH DE number 3248010 (Why is no real title available?)
• The Complexity of intrinsically r.e. subsets of existentially decidable models

Cited in

(5)

• Universal computable enumerations of finite classes of families of total functions
• Least enumerations of partial structures
• Exact enumerations
• scientific article; zbMATH DE number 218551 (Why is no real title available?)
• Least enumerations of unary partial structures

This page was built for publication: Exact effective enumerations of total functional structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4993791)