completeness (order theory)

Formulation of the Simple Theory of Types," Journal of Symbolic Logic 5: 56-68. Henkin, Leon, 1950, "Completeness in the Theory of Types," Journal of Symbolic

Second-order Logic. Oxford University Press. ISBN 0-19-825029-0  Rossberg, M. (2004). "First-Order Logic, Second-Order Logic, and Completeness" (PDF)

Shapiro. First-order Model Theory（英語） by Wilfrid Hodges. In the London Philosophy Study Guide[リンク切れ]: Mathematical Logic[リンク切れ] Set Theory & Further Logic[リンク切れ]

ゲーム理論 のJEL分類コード: JEL: C7 ゲーム理論（ゲームりろん、英: game theory）とは、社会や自然における複数主体が関わる意思決定の問題や行動の相互依存的状況を数学的な数理モデルを用いて研究する学問である。数学者ジョン・フォン・ノイマンと経済学者オスカー・モルゲンシュテルンの

バークレー校にポストを得た。タルスキと共同で仕事をしたこともある。 Henkin, Leon. 1949. "The Completeness of the First-Order Functional Calculus", The Journal of Symbolic Logic|Journal