Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

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 Setting-up early computer programs: D.H. Lehmer's ENIAC computation of a non-lethal 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 self-referential 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

websites: Arnold Beckmann 2008-09-08 Valid HTML 4.01! Valid CSS!