Logic and the Axiom of Choice
暂无分享,去创建一个
Publisher Summary This chapter focuses on logic and the axiom of choice. The chapter proves that (1) ∀x∃y φ(x,y) →∃f∀x φ(x, fx) is conservative over classic first order logic, (2) ∀x∃y φ(x, y)→∃f∀x φ(x, fx) is conservative over intuitionistic logic without equality, (3) ∀x∃y φ(x, y)→∃f∀x φ(x, fx) is conservative over intuitionistic logic with decidable equality, and (4) ∀x∃y φ (x, y)→ ∃f∀x φ(x, fx) is not conservative over intuitionistic logic. Addition of finitely many instances of the respective schema with all parameters generalized is conservative over any first order theory in the respective logic.
[1] C. Smorynski. The axiomatization problem for fragments , 1978 .
[2] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[3] G. Mints,et al. Heyting predicate calculus with epsilon symbol , 1977 .
[4] L. Ebner,et al. Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi , 1971 .