Recursive and Recursively Enumerable Orders

DOI10.2307/1992876MaRDI QIDQ3244106zbMATH OpenOpenAlexFDO

Authors Henry Gordon Rice

Publication date 1956

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

zbMATH Keywords

foundations, philosophy, logic

Cites work

• A Theorem on Hypersimple Sets
• scientific article; zbMATH DE number 3024905 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Recursive Predicates and Quantifiers
• Recursively enumerable sets of positive integers and their decision problems
• Two Notes on Recursively Enumerable Sets
• Zur Theorie der konstruktiven Wohlordnungen

Cited in

(5)

• Computable presentability of countable linear orders
• On the Relative Density of Sets of Integers
• Deficiency Sets and Bounded Information Reducibilities
• Relationships Between Reducibilities
• Constructivity conditions on immune sets

This page was built for publication: Recursive and Recursively Enumerable Orders

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