Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Crosilla, Laura; Schuster, Peter, Introduction [to constructive mathematics]., 1-20 [Zbl 1094.03052]
Rathjen, Michael, Generalized inductive definitions in constructive set theory, 23-40 [Zbl 1095.03076]
Simpson, Alex, Constructive set theories and their category-theoretic models, 41-61 [Zbl 1095.03077]
Gambino, Nicola, Presheaf models for constructive set theories, 62-77 [Zbl 1098.03072]
Streicher, Thomas, Universes in toposes, 78-90 [Zbl 1092.03038]
Maietti, Maria Emilia; Sambin, Giovanni, Toward a minimalist foundation for constructive mathematics, 91-114 [Zbl 1115.03090]
Hancock, Peter; Setzer, Anton, Interactive programs and weakly final coalgebras in dependent type theory, 115-136 [Zbl 1102.03034]
Berger, Ulrich; Seisenberger, Monika, Applications of inductive definitions and choice principles to program synthesis, 137-148 [Zbl 1096.03068]
Negri, Sara; von Plato, Jan, The duality of classical and constructive notions and proofs, 149-161 [Zbl 1096.03073]
Palmgren, Erik, Continuity on the real line and in formal spaces, 165-175 [Zbl 1135.03348]
Aczel, Peter; Fox, Christopher, Separation properties in constructive topology, 176-192 [Zbl 1095.03073]
Bucalo, A.; Rosolini, G., Spaces as comonoids, 193-201 [Zbl 1095.03074]
Maietti, Maria Emilia, Predicative exponentiation of locally compact formaal topologies over inductively generated topologies, 202-222 [Zbl 1097.03057]
Vickers, Steven, Some constructive roads to Tychonoff, 223-238 [Zbl 1097.03058]
Coquand, Thierry; Lombardi, Henri; Roy, Marie-Françoise, An elementary characterization of Krull dimension, 239-244 [Zbl 1161.54303]
Ishihara, Hajime, Constructive reverse mathematics: compactness properties, 245-267 [Zbl 1095.03075]
Spitters, Bas, Approximating integrable sets by compacts constructively, 268-279 [Zbl 1101.03042]
Takamura, Hiroki, An introduction to the theory of \(C^*\)-algebras in constructive mathematics, 280-292 [Zbl 1098.03071]
Bridges, Douglas; Havea, Robin, Approximations to the numerical range of an element of a Banach algebra, 293-303 [Zbl 1096.03074]
Bridges, Douglas; Vîţă, Luminita, The constructive uniqueness of the locally convex topology on \(\mathbb R^N\), 304-315 [Zbl 1105.03066]
Brattka, Vasco, Computability on non-separable Banach spaces and Landau’s theorem, 316-333 [Zbl 1089.03054]