On effectively computable realizations of choice functions : Dedicated to Professors Kenneth J. Arrow and Anil Nerode

[1]  R. Soare.  Recursively enumerable sets and degrees , 1987 .

[2]  Alain A. Lewis.  The minimum degree of recursively representable choice functions , 1985 .

[3]  Saharon Shelah,et al.  On Logical Sentences in PA , 1984 .

[4]  Max A. Sobel,et al.  Introduction to mathematics , 1984 .

[5]  C. Smorynski.  Lectures on Nonstandard Models of Arithmetic: Commemorating Guiseppe Peano , 1984 .

[6]  P. Albin.  Structural theory and structural formations , 1983 .

[7]  Peter S. Albin,et al.  The metalogic of economic predictions, calculations and propositions , 1982, Math. Soc. Sci..

[8]  Douglas Miller,et al.  A Topological Analog to the Rice-Shapiro Index Theorem , 1982, J. Symb. Log..

[9]  David. I. MAYSTON.  The generation of a social welfare function under ordinal preferences , 1982, Math. Soc. Sci..

[10]  Hans W. Gottinger,et al.  Computational Costs and Bounded Rationality , 1982 .

[11]  A. A. Lewis.  Recursive Rational Choice. , 1981 .

[12]  J. C. Shepherdson,et al.  Utility theory based on rational probabilities , 1980 .

[13]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[14]  Rationality from a computational standpoint , 1978 .

[15]  Donald E. Campbell,et al.  Realization of Choice Functions , 1978 .

[16]  Carl A. Futia.  The complexity of economic decision rules , 1977 .

[17]  H. Gottinger.  Complexity and social decision rules , 1977, 1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications.

[18]  A. Mukherji.  The Existence of Choice Functions , 1977 .

[19]  Rajat Deb,et al.  Social Decision Functions and the Veto , 1977 .

[20]  A. Mas-Colell,et al.  SOME GENERIC PROPERTIES OF AGGREGATE EXCESS DEMAND AND AN APPLICATION , 1977 .

[21]  Hilary Putnam.  Recursive Functions and Hierarchies , 1973 .

[22]  Martin D. Davis.  Hilbert's Tenth Problem is Unsolvable , 1973 .

[23]  S. Kleene.  Realizability: A retrospective survey , 1973 .

[24]  Thomas Jech,et al.  About the Axiom of Choice , 1973 .

[25]  A. Lachlan.  On Some Games Which Are Relevant to the Theory of Recursively Enumerable Sets , 1970 .

[26]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[27]  Gerald H. Kramer.  An Impossibility Result Concerning the Theory of Decision-Making , 1967 .

[28]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[29]  Yiannis N. Moschovakis,et al.  Notation systems and recursive ordered fields , 1966 .

[30]  Hans Hermes,et al.  Enumerability, decidability, computability , 1966 .

[31]  Y. Moschovakis.  Recursive metric spaces , 1964 .

[32]  Robert W. Ritchie,et al.  CLASSES OF PREDICTABLY COMPUTABLE FUNCTIONS , 1963 .

[33]  A. Nerode,et al.  Some Stone spaces and recursion theory , 1959 .

[34]  Michael O. Rabin,et al.  6. EFFECTIVE COMPUTABILITY OF WINNING STRATEGIES , 1958 .

[35]  Norman Shapiro,et al.  Degrees of computability , 1956 .

[36]  H. Simon,et al.  A Behavioral Model of Rational Choice , 1955 .

[37]  Emil L. Post,et al.  The Upper Semi-Lattice of Degrees of Recursive Unsolvability , 1954 .

[38]  H. G. Rice,et al.  Recursive real numbers , 1954 .

[39]  Raphael M. Robinson,et al.  Review: Rozsa Peter, Rekursive Funktionen , 1951 .

[40]  L. A. Goodman,et al.  Social Choice and Individual Values , 1951 .

[41]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[42]  S. Kleene,et al.  λ-Definability and Recursiveness. , 1937 .

[43]  S. Kleene.  $\lambda$-definability and recursiveness , 1936 .

[44]  E. Hobson.  The Theory of Functions of a real Variable. , 1922 .

[45]  F. Wiser,et al.  The Theory of Value , 1892 .