论文信息 - Degrees of models - 字舞流文

Degrees of models

Joseph R. Shoenfield | J. Shoenfield

[1] S. Kleene. Arithmetical predicates and function quantifiers , 1955 .

[2] S. Kleene. On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper) , 1955 .

[3] K. Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls , 1930 .

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

[5] G. Kreisel,et al. A VARIANT TO HILBERT'S THEORY OF THE FOUNDATIONS OF ARITHMETIC* , 1953, The British Journal for the Philosophy of Science.