scientific article; zbMATH DE number 2183393
From MaRDI portal
Publication:4681810
zbMath1131.03303MaRDI QIDQ4681810
Publication date: 28 June 2005
Full work available at URL: http://elib.tu-darmstadt.de/diss/000528/constructive.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)
Related Items (11)
Constructive notions of equicontinuity ⋮ The uniform boundedness theorem and a boundedness principle ⋮ Continuity properties of preference relations ⋮ Constructive Urysohn's Universal Metric Space ⋮ Continuity Properties of Preference Relations ⋮ Realizability models refuting Ishihara's boundedness principle ⋮ Intuitionistic sequential compactness? ⋮ Generalization of linear morphisms on \(N\) in topoi ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Problems, solutions, and completions
This page was built for publication:
