Computability in Europe 2007 Special Issue of APAL

There will be a special issue of the Annals of Pure and Applied Logic arising from the 2007 Computability in Europe conference CiE 2007: Logic and Computation in the Real World, held in Siena in June 2007. Submission is by invitation only.

The deadline for receiving completed articles is: October 1st, 2007.

Articles should be prepared using the Elsevier latex class file elsart.cls . Detailed guidelines for authors, and the relevant latex files for downloading, can be found HERE.

This special issue was sent to the publisher on December 29, 2008

Enquiries from authors, and articles for refereeing, should be sent to the appropriate guest editor ( = Sam Buss, = Barry Cooper, = Benedikt Löwe, = Andrea Sorbi), or to the coordinating editor Barry Cooper.

Provisional contents Author(s) Title Received Pages Status Bahareh Afshari and Michael Rathjen Reverse Mathematics and Well-ordering Principles: A Pilot Study Aug. 19, 2008 13 Final version Laurent Bienvenu and Wolfgang Merkle Constructive Equivalence Relations on Computable Probability Measures Oct. 22, 2007 34 Final version Jose Felix Costa , Bruno Loff and Jerzy Mycka A Foundation for Real Recursive Function Theory Oct. 30, 2007 41 Final version Hristo Ganchev and Ivan N. Soskov The Jump Operator on the ω-Enumeration Degrees Sept. 26, 2007 18 Final version Joel David Hamkins and Russell G. Miller Post's Problem for Ordinal Register Machines: an Explicit Approach Oct. 1, 2007 17 Final version Peter Koepke, and Benjamin Seyfferth Ordinal Machines and Admissible Recursion Theory Oct. 1, 2007 17 Final version Maria Emilia Maietti A Minimalist Two-Level Foundation for Constructive Mathematics Jan. 9, 2008 47 Final version Alberto Marcone and Antonio Montalban On Fraisse's Conjecture for Linear Orders of Finite Hausdorff Rank Sept. 26, 2007 26 Final version Robert I. Soare Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory Jan. 4, 2008 72 Final version Mariya Soskova A Non-splitting Theorem in the Enumeration Degrees Aug. 10, 2007 37 Final version

Maintained by B. Cooper, last changed 8 March, 2009