Constructive order types on cuts

DOI10.2307/2271106zbMath0182.01702OpenAlexW1964414992MaRDI QIDQ5573381

Robert I. Soare

Publication date: 1969

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271106

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (2)

Isomorphisms on countable vector spaces with recursive operations ⋮ Computable presentability of countable linear orders

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Constructive order types on cuts