Reference
Kleene, S.C., Vesley, R.E.: The foundations of intuitionistic mathematics, especially in relation to recursive functions. Amsterdam: North-Holland 1965
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Veldman, W., Janssen, M. Some observations on intuitionistically elementary properties of linear orderings. Arch Math Logic 29, 171–185 (1990). https://doi.org/10.1007/BF01621093
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01621093