Punctual definability on structures

DOI10.1016/J.APAL.2021.102987MaRDI QIDQ2033006OpenAlexFDO

Authors Alexander Melnikov, Antonio Montalbán, Iskander Kalimullin

Publication date 14 June 2021

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2021.102987

zbMATH Keywords

definabilityalgebraic structuresprimitive recursion

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• PUNCTUAL CATEGORICITY AND UNIVERSALITY
• Punctual categoricity relative to a computable oracle
• Punctually presented structures I: Closure theorems
• Constructing punctually categorical semigroups
• Punctual structures and primitive recursive reducibility

Cites work

• scientific article; zbMATH DE number 5605134 (Why is no real title available?)
• scientific article; zbMATH DE number 1232130 (Why is no real title available?)
• scientific article; zbMATH DE number 7407778 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A computability theoretic equivalent to Vaught's conjecture
• AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• Algebraic structures computable without delay
• An Effective Version of Dilworth's Theorem
• Effectively existentially-atomic structures
• Eliminating unbounded search in computable algebra
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• Graphs are not universal for online computability
• PUNCTUAL CATEGORICITY AND UNIVERSALITY
• The complexity of computable categoricity
• The diversity of categoricity without delay

Cited in

(6)

• Punctually presented structures I: Closure theorems
• WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
• PUNCTUAL CATEGORICITY AND UNIVERSALITY
• Punctual structures and primitive recursive reducibility
• scientific article; zbMATH DE number 7407778 (Why is no real title available?)
• Primitive recursive reverse mathematics

This page was built for publication: Punctual definability on structures

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