Universal recursion theoretic properties of r.e. preordered structures

DOI10.2307/2274228MaRDI QIDQ3699683zbMATH OpenOpenAlexFDO

Authors Franco Montagna, Andrea Sorbi

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274228

zbMATH Keywords

prelatticeBoolean prealgebrarecursively enumerable preordering

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) First-order arithmetic and fragments (03F30)

Recommendations

• EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
• Universal recursively enumerable Boolean algebras
• Positive preorders
• Reducibilities among equivalence relations induced by recursively enumerable structures
• On recursively enumerable structures

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3027246 (Why is no real title available?)
• On the relation provable equivalence and on partitions in effectively inseparable sets
• Theorie Der Numerierungen III
• Theorie der Numerierungen I

Cited in

(14)

• Effective inseparability and its applications
• Complexity of equivalence relations and preorders from computability theory
• Uniform density in Lindenbaum algebras
• Special classes of positive preorders
• Precomplete numberings
• Effectively dense Boolean algebras and their applications
• EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
• Some properties of precompletely and positively numbered sets
• GENERALIZATIONS OF THE RECURSION THEOREM
• Word problems and ceers
• Obituary: Franco Montagna (1948--2015)
• Effectively inseparable Boolean algebras in lattices of sentences
• Classifying equivalence relations in the Ershov hierarchy
• Isomorphisms of splits of computably enumerable sets

This page was built for publication: Universal recursion theoretic properties of r.e. preordered structures

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