Computable choice functions for computable linear orderings

DOI10.1002/MALQ.200310053zbMath1047.03034OpenAlexW2049632253MaRDI QIDQ4434504

Richard Watnick, Manuel Lerman

Publication date: 10 November 2003

Published in: MLQ (Search for Journal in Brave)

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

zbMATH Keywords

choice functionlinear orderingcomputable order-type

Mathematics Subject Classification ID

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

This page was built for publication: Computable choice functions for computable linear orderings