Content of Issue 12
DOI: 10.3217/jucs01112

Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges 
C.S. Calude, H. Ishihara 
1863 
Constructive Suprema 
M.A. Baroni 
1865 
Constructive Equivalents of the Uniform Continuity Theorem 
J. Berger 
1878 
Computability of the Spectrum of SelfAdjoint Operators 
V. Brattka, R. Dillhage 
1884 
Algorithmic Irreducibility in a Cellular Automata Universe 
G. Chaitin 
1901 
Constructive Analysis of Iterated Rational Functions 
J. Clark 
1904 
Formal Topology and Constructive Mathematics: the Gelfand and StoneYosida Representation Theorems 
T. Coquand, B. Spitters 
1932 
Axiomatic Classes of Intuitionistic Models 
R. Goldblatt 
1945 
On Firmness of the State Space and Positive Elements of a Banach Algebra 
R.S. Havea 
1963 
Nonrandom Sequences between Random Sequences 
P. Hertling 
1970 
Permutability of Rules for Linear Lattices 
S. Negri 
1986 
Quotient Spaces and Coequalisers in Formal Topology 
E. Palmgren 
1996 
Constructive Set Theory and Brouwerian Principles 
M. Rathjen 
2008 
Constructing Programs or Processes 
S. Reeves, D. Streader 
2034 
Constructive Aspects of Markov Chains 
F. Richman 
2046 
On the Meaning of Positivity Relations for Regular Formal Spaces 
G. Sambin, G. Trentinaglia 
2056 
Functional Dependencies with Counting on Trees 
K.D. Schewe 
2063 
What is Continuity, Constructively? 
P. Schuster 
2076 
A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis 
H. Schwichtenberg 
2086 
Constructive Results on Operator Algebras 
B. Spitters 
2096 
Hausdorff Measure and Lukasiewicz Languages 
L. Staiger 
2114 
New Bounds for Positive Roots of Polynomials 
D. Ştefănescu 
2125 
How the Mathematical Objects Determine the Mathematical Principles 
D. van Dalen 
2132 
Perhaps the Intermediate Value Theorem 
W. Veldman 
2142 
On Complements of Sets and the Efremovič Condition in Preapartness Spaces 
L.S. Vîţă 
2159 
A Constructive Approach to Sylvester's Conjecture 
J. von Plato 
2165 
Sequential Computability of a Function. Effective Fine Space and Limiting Recursion 
M. Yasugi, Y. Tsujii, T. Mori 
2179 