Special Issue AML
Editors:
Arnold Beckmann (Swansea),
Costas Dimitracopoulos (Athens),
Benedikt Löwe (Amsterdam)
Journal Webpage:
Archive for Mathematical Logic
Author

Title

Pages

Status

Liesbeth De Mol and Maarten Bullynck 
Settingup early computer programs: D.H. Lehmer's ENIAC computation of a nonlethal problem 
25 
paper accepted 
Rosalie Iemhoff 
Kripke models for Constructive Set Theory 
23 
paper accepted 
Mariya Ivanova Soskova 
The limitations of cupping in the local structure of the enumeration degrees 
25 
paper accepted 
Jiang Liu and Guohua Wu 
Joining to High Degrees via Noncuppables 
19 
paper accepted 
Graham Leigh and Michael Rathjen 
An ordinal analysis for theories of selfreferential truth 
31 
paper accepted 
Merlin Carl, Tim Fischbach, Peter Koepke, Russell Miller, Miriam Nasfi, Gregor Weckbecker 
Infinite Time Register Machines 
26 
paper accepted 
Bahareh Afshari and Michael Rathjen 
A note on $ID_1^*$ 
6 
paper accepted 