Sufficient conditions for the existence of 0'-limitwise monotonic functions for computable \(\eta\)-like linear orders

From MaRDI portal
Publication:2360265