Content of Issue 12
DOI: 10.3217/jucs-011-12
|
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 Self-Adjoint 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 Stone-Yosida 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 Pre-apartness 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 |
