scientific article; zbMATH DE number 1302057

zbMATH Open0940.03069MaRDI QIDQ4247301FDOQ4247301

Authors: Jan Cederquist, Thierry Coquand, Sara Negri 

Publication date: 5 October 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

formal topologyconstructive analysispointfree approach to functional analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Cited In (11)

• Extension by conservation. Sikorski's theorem
• Some points in formal topology.
• Title not available (Why is that?)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Helly's selection theorem and the principle of local reflexivity of ordered type
• The Hahn-Banach theorem by disjunction elimination
• The intensional side of algebraic-topological representation theorems
• Constructive metrisability in point-free topology.
• The symbol of type and the Wilson theorem
• Eliminating disjunctions by disjunction elimination
• Eliminating disjunctions by disjunction elimination

This page was built for publication:

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