𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extension functions for multiset orderings

✍ Scribed by Ursula Martin

Book ID
113162977
Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
759 KB
Volume
26
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computable choice functions for computab
Computable choice functions for computable linear orderings
✍ Manuel Lerman; Richard Watnick πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 351 KB

## Abstract A choice set for a computable linear ordering is a set which contains one element from each maximal block of the ordering. We obtain a partial characterization of the computable linear order‐types for which each computable model has a computable choice set, and a full characterization i