|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
13 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem |
Berger, Josef |
2012 |
163 | 8 |
p. 981-985 5 p. |
article |
|
| 2 | Almost new pre-apartness from old |
Bridges, Douglas S. |
2012 |
163 | 8 |
p. 1009-1015 7 p. |
article |
|
| 3 | A predicative completion of a uniform space |
Berger, Josef |
2012 |
163 | 8 |
p. 975-980 6 p. |
article |
|
| 4 | A synthetic theory of sequential domains |
Reus, Bernhard |
2012 |
163 | 8 |
p. 1062-1074 13 p. |
article |
|
| 5 | Closed choice and a Uniform Low Basis Theorem |
Brattka, Vasco |
2012 |
163 | 8 |
p. 986-1008 23 p. |
article |
|
| 6 | Contents |
2012 |
163 | 8 |
p. iv- 1 p. |
article |
||
| 7 | Fine hierarchies via Priestley duality |
Selivanov, Victor |
2012 |
163 | 8 |
p. 1075-1107 33 p. |
article |
|
| 8 | Foreword |
Berger, Ulrich |
2012 |
163 | 8 |
p. 973-974 2 p. |
article |
|
| 9 | Lattice properties of congruences for stochastic relations |
Doberkat, Ernst-Erich |
2012 |
163 | 8 |
p. 1016-1029 14 p. |
article |
|
| 10 | On bounded functional interpretations |
Ferreira, Gilda |
2012 |
163 | 8 |
p. 1030-1049 20 p. |
article |
|
| 11 | Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra |
Ziegler, Martin |
2012 |
163 | 8 |
p. 1108-1139 32 p. |
article |
|
| 12 | The intermediate value theorem in constructive mathematics without choice |
Hendtlass, Matthew |
2012 |
163 | 8 |
p. 1050-1056 7 p. |
article |
|
| 13 | The uniform boundedness theorem and a boundedness principle |
Ishihara, Hajime |
2012 |
163 | 8 |
p. 1057-1061 5 p. |
article |
13 results found