On extensions of constructive linear orders

zbMath0924.03059MaRDI QIDQ1307159

K. Zh. Kudaibergenov

Publication date: 28 October 1999

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

constructive modelhomogeneous modelrecursive modelrecursive orderingconstructive ordering

Mathematics Subject Classification ID

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

This page was built for publication: On extensions of constructive linear orders