Forcing (mathematics)
การบังคับ (คณิตศาสตร์)
อ่าน 1 นาทีมาร์ตินสูงสุด
Forcing (mathematics)ในทฤษฎีเซต ซึ่งเป็นสาขาหนึ่งของตรรกศาสตร์ทางคณิตศาสตร์ ค่าสูงสุดของมาร์ติน ( Martin's maximum ) ซึ่งนำเสนอโดยForeman, Magidor & Shelah (1988)และตั้งชื่อตามDonald Martin นั้น
อ่าน 1 นาทีเงื่อนไขโซ่ที่นับได้
Forcing (mathematics)ในทฤษฎีลำดับเซตที่มีลำดับบางส่วนXกล่าวได้ว่าสอดคล้องกับเงื่อนไขลูกโซ่ที่นับได้หรือเป็นcccถ้าแอนติลูกโซ่ที่แข็งแกร่ง ทุกตัว ในXสามารถนับได้
อ่าน 1 นาทีพีชคณิตแคนเตอร์
Boolean algebraในทางคณิตศาสตร์พีชคณิตแคนเตอร์ซึ่งตั้งชื่อตามจอร์จ แคนเตอร์เป็นหนึ่งในสองพีชคณิตบูลีน ที่เกี่ยวข้องกันอย่างใกล้ชิด โดยพีชคณิตบูลีน หนึ่งเป็นแบบนับได้และอีกแบบหนึ่ง เป็น แบบสมบูรณ์
อ่าน 1 นาทีComplete Boolean algebra
Boolean algebraIn mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound).
อ่าน 1 นาทีรายชื่อแนวคิดบังคับ
Forcing (mathematics)ในทางคณิตศาสตร์การบังคับ (forcing)เป็นวิธีการสร้างแบบจำลอง ใหม่ M ของทฤษฎีเซตโดยการเพิ่มเซตย่อยทั่วไปGของโพเซตPเข้าไปในแบบจำลองMโพเซตPที่ใช้จะกำหนดว่าข้อความใดบ้างที่เป็นจริงในเอกภ...
อ่าน 1 นาทีทฤษฎีบทของอีสตัน
Cardinal numbersในทฤษฎีเซตทฤษฎีบทของอีสตันเป็นผลลัพธ์เกี่ยวกับจำนวนเชิงคาร์ดินัล ที่เป็นไปได้ ของเซตกำลังอีส ตัน (1970) (ต่อยอดจากผลลัพธ์ของโรเบิร์ต เอ็ม.
อ่าน 1 นาทีดอกทานตะวัน (คณิตศาสตร์)
Combinatoricsในสาขาคณิตศาสตร์อย่างทฤษฎีเซตและคณิตศาสตร์เชิงการจัดเรียงแบบสุดขั้วดอกทานตะวันหรือΔ{\displaystyle \Delta }-ระบบคือชุดของเซตซึ่งจุดตัดของเซตที่แตกต่างกันสองเซตใดๆ จะเหมือนกัน...
อ่าน 1 นาทีพีชคณิตซัสลิน
Algebra stubsในทางคณิตศาสตร์พีชคณิตซัสลินเป็นพีชคณิตบูลีนที่สมบูรณ์ไม่มีอะตอมกระจาย ได้ แบบนับ ได้ และตรงตามเงื่อนไขลูกโซ่แบบนับได้ตั้งชื่อตามมิคาอิล ยาคอฟเลวิช ซัสลิน
อ่าน 1 นาทีสมมติฐานความต่อเนื่อง
Basic concepts in infinite set theoryในทางคณิตศาสตร์โดยเฉพาะอย่างยิ่งในทฤษฎีเซตสมมติฐานความต่อเนื่อง (ย่อว่าCH ) เป็นสมมติฐานเกี่ยวกับขนาดที่เป็นไปได้ของเซตอนันต์โดยระบุว่า:
อ่าน 1 นาทีการบังคับ (คณิตศาสตร์)
CS1: long volume valueในทฤษฎีเซตการบังคับ (forcing)เป็นเทคนิคหนึ่งในการพิสูจน์ ผลลัพธ์ ด้านความสอดคล้องและความเป็นอิสระโดยทั่วไปแล้ว การบังคับสามารถคิดได้ว่าเป็นเทคนิคในการขยายขอบเขต ของทฤษฎีเซต...
อ่าน 1 นาทีสัจพจน์การบังคับที่เหมาะสม
Axioms of set theoryในสาขาคณิตศาสตร์ของทฤษฎีเซตสัจพจน์การบังคับที่เหมาะสม ( PFA ) เป็นการเสริมความแข็งแกร่งอย่างมีนัยสำคัญของสัจพจน์ของมาร์ตินโดยที่การบังคับที่มีเงื่อนไขลูกโซ่ที่นับได้ (ccc)...