51

Picard’s theorem

Year:
1982
Language:
english
File:
PDF, 742 KB
english, 1982
52

Can Constructive Mathematics Be Applied in Physics?

Year:
1999
Language:
english
File:
PDF, 1.55 MB
english, 1999
53

Intuitionistic sequential compactness?

Year:
2018
Language:
english
File:
PDF, 355 KB
english, 2018
54

Characterising Near Continuity Constructively

Year:
2001
Language:
english
File:
PDF, 107 KB
english, 2001
55

Apartness, Topology, and Uniformity: a Constructive View

Year:
2002
Language:
english
File:
PDF, 188 KB
english, 2002
57

On Weak Operator Compactness of the Unit Ball of L(H)

Year:
1978
Language:
english
File:
PDF, 134 KB
english, 1978
58

On the Constructive Convergence of Series of Independent Functions

Year:
1979
Language:
english
File:
PDF, 248 KB
english, 1979
59

Geometric Intuition and Elementary Constructive Analysis

Year:
1979
Language:
english
File:
PDF, 201 KB
english, 1979
60

A Constructive Treatment of Open and Unopen Mapping Theorems

Year:
1989
Language:
english
File:
PDF, 904 KB
english, 1989
61

Constructive notions of strict convexity

Year:
1993
Language:
english
File:
PDF, 346 KB
english, 1993
62

Complements of Intersections in Constructive Mathematics

Year:
1994
Language:
english
File:
PDF, 488 KB
english, 1994
63

Weak-operator Continuity and the Existence of Adjoints

Year:
1999
Language:
english
File:
PDF, 237 KB
english, 1999
64

First steps in constructive game theory

Year:
2004
Language:
english
File:
PDF, 127 KB
english, 2004
65

Constructive complements of unions of two closed sets

Year:
2004
Language:
english
File:
PDF, 69 KB
english, 2004
66

Product a-frames and proximity

Year:
2008
Language:
english
File:
PDF, 157 KB
english, 2008
67

Continuous homomorphisms of R onto a compact group

Year:
2010
Language:
english
File:
PDF, 111 KB
english, 2010
68

The anti-Specker property, positivity, and total boundedness

Year:
2010
Language:
english
File:
PDF, 109 KB
english, 2010
69

Constructing Best Approximations on a Jordan Curve

Year:
1998
Language:
english
File:
PDF, 249 KB
english, 1998
70

A constructive development of Chebyshev approximation theory

Year:
1980
Language:
english
File:
PDF, 908 KB
english, 1980
71

A constructive analysis of the Remes algorithm

Year:
1981
Language:
english
File:
PDF, 495 KB
english, 1981
73

The Euclidean distance construction of order homomorphisms

Year:
1988
Language:
english
File:
PDF, 586 KB
english, 1988
74

Preference, indifference, and Markov's principle

Year:
1990
Language:
english
File:
PDF, 972 KB
english, 1990
75

The constructive inequivalence of various notions of preference ordering

Year:
1991
Language:
english
File:
PDF, 495 KB
english, 1991
76

Continuity Properties of Preference Relations

Year:
2008
Language:
english
File:
PDF, 208 KB
english, 2008
79

Ideals in constructive Banach algebra theory

Year:
2006
Language:
english
File:
PDF, 167 KB
english, 2006
80

The weak-operator sequential continuity of left multiplication

Year:
2000
Language:
english
File:
PDF, 240 KB
english, 2000
81

Converses of Bishop's Lemma on located sets

Year:
2000
Language:
english
File:
PDF, 446 KB
english, 2000
82

Locating the range of an operator with an adjoint

Year:
2002
Language:
english
File:
PDF, 353 KB
english, 2002
83

A fan-theoretic equivalent of the antithesis of Specker's theorem

Year:
2007
Language:
english
File:
PDF, 304 KB
english, 2007
84

Sets, complements and boundaries

Year:
1996
Language:
english
File:
PDF, 1.30 MB
english, 1996
85

Linear independence without choice

Year:
1999
Language:
english
File:
PDF, 75 KB
english, 1999
86

Kernels of seminorms in constructive analysis

Year:
2002
Language:
english
File:
PDF, 99 KB
english, 2002
87

Constructive mathematics: a foundation for computable analysis

Year:
1999
Language:
english
File:
PDF, 1.00 MB
english, 1999
90

Constructive mathematics and unbounded operators — A reply to Hellman

Year:
1995
Language:
english
File:
PDF, 585 KB
english, 1995
91

The anti-Specker property, a Heine–Borel property, and uniform continuity

Year:
2008
Language:
english
File:
PDF, 201 KB
english, 2008
92

Constructive notions of equicontinuity

Year:
2009
Language:
english
File:
PDF, 199 KB
english, 2009
95

Spectra of selfadjoint operators in constructive analysis

Year:
1996
Language:
english
File:
PDF, 1.55 MB
english, 1996
96

On the foundations of best approximation theory

Year:
1980
Language:
english
File:
PDF, 773 KB
english, 1980
97

Approximate interpolation by functions in a Haar space

Year:
1989
Language:
english
File:
PDF, 252 KB
english, 1989
98

On recursive bounds for the exceptional values in speed-up

Year:
1994
Language:
english
File:
PDF, 509 KB
english, 1994
99

A General Constructive Proof Technique

Year:
2005
Language:
english
File:
PDF, 280 KB
english, 2005