Set theory with a universal set : exploring an untyped universe

著者

• Forster, T. E.

書誌事項

Set theory with a universal set : exploring an untyped universe

T.E. Forster

（Oxford logic guides, 20）（Oxford science publications）

Clarendon Press , Oxford University Press, 1992

注記

Bibliography: p. 135-147

Includes indexes

内容説明・目次

内容説明

Set theory is concerned with the foundations of mathematics. In the original formulations of set theory, there were paradoxes concerned with the idea of the "set of all sets". Current standard theory (Zermelo-Fraenkel) avoids these paradoxes by restricting the way sets may be formed by other sets specifically to disallow the possibility of forming the set of all sets. In the 1930s, Quine proposed a different form of set theory in which the set of all sets - the universal set - is allowed, but other restrictions are placed on these axioms. Since then, the steady interest expressed in these non-standard set theories has been boosted by their relevance to computer science. This text concentrates on Quine's "New Foundations", reflecting the author's belief that this provides the richest and most mysterious of the various systems dealing with set theories with a universal set. Dr Forster provides an introduction to those interested in the topic and a reference work for those already involved in this area.

目次

• Part 1 Introduction: annotated definitions
• some motivations and axioms
• a brief survey
• how do theories with V E V avoid paradoxes?
• chronology. Part 2 NF and related systems: NF
• cardinal and ordinal arithmetic
• the Kay-Specker equiconsistency lemma
• remarks on subsystems, term models and prefix classes
• the converse consistency problem. Part 3 Permutation models: permutation in NF
• applications to other theories. Part 4 Interpretations in well-founded sets: Church's universal set theory CUS
• Mitchell's set theory
• beyond Church, Sheridan and Mitchell. Part 5 Open problems: permutation models and quantifier hierarchies
• cardinals and ordinals in NF
• KF
• Z
• other subsystems
• automorphisms and well-founded extensional relations
• term models
• miscellaneous.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA14113417
• ISBN:
  • 0198533950
• LCCN: 91037371
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Oxford,New York
• ページ数/冊数: viii, 152 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA248
  • DC20 : 511.3/22
• 件名:
  • LCSH : Set theory
• 親書誌ID:
  • BA00017765
  • BA00281843