Effective extensions of partial orders

DOI10.1002/MALQ.19900360306zbMath0692.03028OpenAlexW2032675544MaRDI QIDQ3033753

Dev K. Roy

Publication date: 1990

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19900360306

zbMATH Keywords

recursive partial orderrecursive linear extensionrecursively enumerable linear extensionrecursively enumerable partial order

Mathematics Subject Classification ID

Partial orders, general (06A06) Total orders (06A05) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller ⋮ Conditional extensions of fuzzy preorders ⋮ Weakly semirecursive sets and r.e. orderings ⋮ Recursive versus recursively enumerable binary relations

This page was built for publication: Effective extensions of partial orders