Constructive completions of ordered sets, groups and fields

DOI10.1016/J.APAL.2004.12.005MaRDI QIDQ2488274zbMATH OpenOpenAlexFDO

Authors Erik Palmgren

Publication date 25 August 2005

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2004.12.005

zbMATH Keywords

constructive mathematicstype theoryordered setspredicativityordered groupsordered fieldsCauchy completionspseudo-orderchoice principlesconstructive completions

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Other constructive mathematics (03F65) Total orders (06A05) Ordered fields (12J15)

Recommendations

• scientific article; zbMATH DE number 5781387
• On constructing completions
• Real numbers and other completions
• scientific article; zbMATH DE number 1795222
• Generalized real numbers in constructive mathematics

Cites work

• scientific article; zbMATH DE number 4210287 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1302063 (Why is no real title available?)
• scientific article; zbMATH DE number 928871 (Why is no real title available?)
• scientific article; zbMATH DE number 3300584 (Why is no real title available?)
• A course in constructive algebra
• An Intuitionistic Axiomatisation of Real Closed Fields
• Partially Ordered Sets
• Separably real closed local rings
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(8)

• Constructive suprema
• scientific article; zbMATH DE number 5295854 (Why is no real title available?)
• On the Cauchy completeness of the constructive Cauchy reals
• Zur Vervollständigung natürlich angeordneter cartesischer Gruppen. (On the completion of naturally ordered Cartesian groups)
• An alternative construction of Conway's ordered field No
• Non-deterministic inductive definitions
• Maximal and partial points in formal spaces
• scientific article; zbMATH DE number 4210287 (Why is no real title available?)

This page was built for publication: Constructive completions of ordered sets, groups and fields

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