Order in open intervals of computable reals

DOI10.1017/S0960129598002564zbMATH Open0931.03073WikidataQ128252878 ScholiaQ128252878MaRDI QIDQ4237909FDOQ4237909

Authors: Jan von Plato 

Publication date: 28 February 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1795225
• Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations
• scientific article; zbMATH DE number 3940621
• Representations of the real numbers and of the open subsets of the set of real numbers
• Sequent calculus proof theory of intuitionistic apartness and order relations

zbMATH Keywords

axiomatic order structureconstructive linear orderdefinition of apartness for intervalspartial order on open intervals of computable realsstrong extensionality of lattice operations

Mathematics Subject Classification ID

Total orders (06A05) Constructive and recursive analysis (03F60)

Cited In (5)

• Intuitionistic mereology. II: Overlap and disjointness
• Intuitionistic mereology
• Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations
• Existence of approximate social welfare
• Title not available (Why is that?)

This page was built for publication: Order in open intervals of computable reals

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