From problems to solutions

Readers are invited to submit questions relating to problem cases. Inquiries will be answered by qualified consultants and replies forwarded by mail promptly. Selected problems and solutions are published every month in this section.

[1]  Fred Richman,et al.  Spreads and choice in constructive mathematics , 2002 .

[2]  Fred Richman,et al.  Intuitionism As Generalization , 1990 .

[3]  Scott Russell Sanders.  Finding the Place , 1988 .

[4]  Paulo Oliva,et al.  Proof Mining: A Systematic Way of Analysing Proofs in Mathematics , 2002 .

[5]  Peter Schuster,et al.  Countable Choice as a Questionable Uniformity Principle , 2004 .

[6]  C. Mulvey,et al.  Banach spaces in categories of sheaves , 1979 .

[7]  D. Shapiro,et al.  Fatigue in the workforce of National Health Service Trusts: levels of symptomatology and links with minor psychiatric disorder, demographic, occupational and work role factors. , 1997, Journal of psychosomatic research.

[8]  V. A. Lifshits.  Investigation of constructive functions by the method of fillings , 1972 .

[9]  Hajime Ishihara,et al.  Constructive reverse mathematics: compactness properties , 2005, From sets and types to topology and analysis.

[10]  F. Richman.  The fundamental theorem of algebra: a constructive development without choice , 2000 .

[11]  Erik Palmgren,et al.  A constructive and functorial embedding of locally compact metric spaces into locales , 2007 .

[12]  Ulrich Kohlenbach,et al.  Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation , 1993, Ann. Pure Appl. Log..

[13]  Peter Schuster,et al.  From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics , 2005, From sets and types to topology and analysis.

[14]  D. Scott,et al.  Applications of sheaves , 1979 .

[15]  Douglas S. Bridges,et al.  The fan theorem and unique existence of maxima , 2006, Journal of Symbolic Logic.

[16]  Peter Schuster,et al.  Unique existence, approximate solutions, and countable choice , 2003, Theor. Comput. Sci..

[17]  C. Mulvey.  Banach spaces over a compact space , 1979 .

[18]  Douglas S. Bridges.  Recent Progress in Constructive Approximation Theory , 1982 .

[19]  J. Paris,et al.  The Type Theoretic Interpretation of Constructive Set Theory , 1978 .

[20]  Peter Aczel,et al.  Binary Refinement Implies Discrete Exponentiation , 2007, Stud Logica.

[21]  Peter Schuster,et al.  On constructing completions , 2005, Journal of Symbolic Logic.

[22]  F. Richman,et al.  Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .

[23]  Hajime Ishihara,et al.  Brouwer's fan theorem and unique existence in constructive analysis , 2005, Math. Log. Q..