On the Undecidability of the Type Set of Variety

Author: 
Japheth Leo Merlin Wood
Ralph McKenzie
Publication date: 
May 1, 1997
Publication type: 
PhD Thesis (Author field refers to student + advisor)

Topics

Past PhDs topic page, Phd-MathLogic topic page, PhD-year-1997 topic page