On extensions of constructive linear orders

MaRDI QIDQ1307159zbMATH OpenFDO

Authors K. Zh. Kudajbergenov

Publication date 28 October 1999

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

zbMATH Keywords

constructive modelconstructive orderinghomogeneous modelrecursive modelrecursive ordering

Mathematics Subject Classification ID

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

Review text

The author constructs a strongly constructive discrete linear ordering which has no constructive homogeneous elementary extensions.

Cited in

(8)

• On linear extensions of ordered sets with a symmetry
• On an extension of Sarkovskii's order
• Linear extensions of additive partial orders
• Ribenboim's order extension theorem from a constructive point of view
• On extensions, linear extensions, upsets and downsets of ordered sets (extended abstract)
• Some forms of excluded middle for linear orders
• ON COHESIVE POWERS OF LINEAR ORDERS
• Uniqueness of linear extensions of partial orders

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1307159)