Mathematical Sciences: Problems in Forcing

数学科学：强迫问题

• 批准号: 8922393
• 负责人: Maurice Stanley
• 金额: $ 4.07万
• 依托单位: San Jose State University Foundation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-03-01 至 1992-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8922393&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Problems; Forcing

With this continuation of DMS-8716037, Dr. Stanley will explore problems in Disabled Forcing, minimalizing the universe without constructing Zero-sharp, a converse to Morley's Omitting Types Theorem, and Iterating Mathias Forcing beyond Aleph-two. These are topics on the frontier of modern set theory, a subject which underlies all of mathematics.

随着dms-8716037的继续，斯坦利博士将探索残疾强迫的问题，在不构建零锐化的情况下最小化宇宙，这与莫利的省略类型定理相反，并迭代马蒂亚斯强迫超越阿列夫-2。这些都是关于现代集合论前沿的话题，集合论是所有数学的基础。