Hyperarithmetical relations in expansions of recursive structures

DOI10.1016/0168-0072(94)90065-5MaRDI QIDQ1315834zbMATH OpenOpenAlexWikidataFDO

Authors Alan D. Vlach

Publication date 17 April 1994

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

Full work available at URL https://doi.org/10.1016/0168-0072(94)90065-5

zbMATH Keywords

recursive model theoryeffective mathematics

Mathematics Subject Classification ID

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

Recommendations

• Relatively recursive expansions
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Recursive expansions
• scientific article; zbMATH DE number 695580
• Possible degrees in recursive copies. II

Cites work

• scientific article; zbMATH DE number 3732033 (Why is no real title available?)
• scientific article; zbMATH DE number 695580 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Addendum to ``Countable algebra and set existence axioms
• Categoricity in hyperarithmetical degrees
• Computable Algebra, General Theory and Theory of Computable Fields
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Definable Sets in Ordered Structures. III
• Effective content of field theory
• Effective procedures in field theory
• Labelling systems and r.e. structures
• Mixed systems
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Relatively recursive expansions
• Stability of recursive structures in arithmetical degrees
• The first order properties of products of algebraic systems

Cited in

(8)

• Recursion relations for double ramification hierarchies
• Relatively recursive expansions
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• scientific article; zbMATH DE number 695580 (Why is no real title available?)
• Transformations of expressions associated with systems of recursion relations
• Pairs of recursive structures
• Recursive expansions
• On a pair of hyperstandard reciprocal relations with applications

This page was built for publication: Hyperarithmetical relations in expansions of recursive structures

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