The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 44, Number 4
Publication Date: 2003
Embedding and Coding below a 1-Generic Degree
Noam Greenberg and Antonio Montalbán; 200-216