Computable Content of Vaughtian Models (2006)

Cached

Download Links

by Robert I. Soare

Active Bibliography

32 Computability and recursion – Robert I. Soare - 1996
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
3 Computability and Incomputability – Robert I. Soare
4 On the ubiquity of certain total type structures – John Longley - 2007
5 Gödel on computability – Wilfried Sieg
NORMALIZATION PROPERTIES OF SYMMETRIC LOGICAL CALCULI – Peter Battyani - 2007
Philippe de Groote – Thèse De Doctorat, Directeurs De Thèse, René David, Pál Dömösi, Karim Nour, Stefano Berardi, Ralph Matthes, René David, Pál Dömösi, Karim Nour, Tamás Mihálydeák - 2009
2 The settling-time reducibility ordering – Barbara F. Csima, Richard, A. Shore
2 Effective packing dimension of Π 0 1-classes – Chris J. Conidis - 2007
2 Soare, Bounding homogeneous models – Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
Turing’s Mathematical Work – P. D. Welch
6 The word problem for cancellation semigroups with zero – Author(s) Yuri Gurevich, Harry R. Lewis, Yuri Gurevich, Harry, R. Lewis - 1984
13 The inference problem for template dependencies – Yuri Gurevich, Harry R. Lewis - 1982
1 Dynamic Properties of Computably Enumerable Sets – Leo Harrington, Robert I. Soare - 1995
Extensions, Automorphisms, and Definability – Robert I. Soare
3 Towards a theory of intelligence – Peter Kugel
1 Is mathematics consistent? – Hitoshi Kitada - 2003
Does Church-Kleene ordinal ω CK 1 exist? – Hitoshi Kitada - 2003
An implication of Gödel’s incompleteness theorem – Hitoshi Kitada - 2009