Order in open intervals of computable reals

DOI10.1017/S0960129598002564MaRDI QIDQ4237909zbMATH OpenWikidataFDO

Authors Jan von Plato

Publication date 28 February 2000

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

Full work available at URL https://doi.org/10.1017/S0960129598002564

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

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

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

Cited in

(5)

• Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations
• Existence of approximate social welfare
• scientific article; zbMATH DE number 1795225 (Why is no real title available?)
• Intuitionistic mereology
• Intuitionistic mereology. II: Overlap and disjointness

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)