论文信息 - The Classical and the omega-Complete Arithmetic - 字舞流文

The Classical and the omega-Complete Arithmetic

Andrzej Mostowski | Andrzej Grzegorczyk | Czeslaw Ryll-Nardzewski

[1] S. Kleene. Hierarchies of number-theoretic predicates , 1955 .

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

[3] Helena Rasiowa,et al. A proof of the completeness theorem of Grödel , 1950 .

[4] A. Tarski. Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .

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

[6] Andrzej Grzegorczyk. Some proofs of undecidability of arithmetic , 1956 .

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

[8] A. Mostowski. On definable sets of positive integers , 1947 .