Một bài báo đột phá mang tên Large Cardinals, Structural Reflection, and the HOD Conjecture đã giới thiệu các khái niệm mới về số chính xác và phiên bản nâng cao hơn của chúng, số siêu chính xác.
Những khái niệm số lớn này thách thức trực giác quen thuộc về thứ bậc tuyến tính của số lớn và Giả thuyết HOD, đồng thời mở ra những góc nhìn mới trong nghiên cứu về các tiên đề vô hạn.
Số chính xác và số siêu chính xác
Bài nghiên cứu định nghĩa số chính xác và số siêu chính xác thông qua các khung lý thuyết tương đương, bao gồm các dạng yếu của số Berkeley theo cấp, các dạng mạnh của số Jónsson, và các nguyên lý phản chiếu cấu trúc. Dù có cách phát biểu tự nhiên, những số lớn này lại đi ngược với kỳ vọng thông thường về các tiên đề vô hạn mạnh.
Tính nhất quán với zfc và các nhúng l₀
Bài báo chứng minh rằng số siêu chính xác là nhất quán với ZFC (Zermelo-Fraenkel set theory với Axiom of Choice), giả sử tồn tại các nhúng l₀ (l₀ embeddings*).
Tuy nhiên, nếu một số siêu chính xác tồn tại bên dưới một số đo lường (measurable cardinal), điều này kéo theo tính nhất quán của ZFC với các lớp thích hợp của nhúng l₀, thách thức mô hình gia tăng tuyến tính truyền thống trong hệ phân cấp số lớn.
Hệ quả đối với giả thuyết hod
Sự tồn tại của số chính xác kéo theo V ≠ HOD, trong đó V là vũ trụ của tất cả các tập hợp, còn HOD là vũ trụ kiến tạo của Gödel được xác định bằng tính xác định thứ bậc theo thứ tự (hereditary ordinal definability).
Điều này cho thấy các số này vượt qua hệ phân cấp số lớn thông thường trong phạm vi nhất quán của ZFC.
Hơn nữa, bài nghiên cứu lập luận rằng số chính xác trên số mở rộng (extendible cardinals) có thể bác bỏ Giả thuyết HOD của Woodin và Giả thuyết Ultimate L, mở rộng ranh giới nghiên cứu về số lớn.
Mâu thuẫn với v=l và sự phát triển mới
Định lý Bất nhất của Scott chỉ ra rằng ZFC kết hợp với V = L (vũ trụ kiến tạo) là không nhất quán nếu tồn tại một nhúng sơ cấp không tầm thường từ V vào một lớp bậc thang M (transitive class M).
Những nhúng này xuất phát từ sự tồn tại của số đo lường, và Keisler còn tinh chỉnh thêm khi chỉ ra rằng điểm tới hạn của các nhúng đó phải là một số đo lường.
Ban đầu, Ulam định nghĩa số đo lường là số thỏa mãn một độ đo hoàn chỉnh, κ-hoàn chỉnh, hai giá trị (κ-complete, two-valued measure).
Tương thích với v=l nhưng phá vỡ trực giác
Định lý Scott-Keisler nhấn mạnh rằng một số số lớn nhất định về cơ bản không thể tương thích với V = L. Những khái niệm mới về số chính xác và số siêu chính xác được phát triển nhằm phù hợp với ZFC trong phạm vi các nhúng l₀, đóng vai trò như những đối trọng với các số lớn yếu có thể tương thích với V = L.
Bằng cách hạn chế miền của các nhúng sơ cấp, những số này nổi lên như một bước tiến tự nhiên từ các số lớn không tương thích như số Berkeley theo cấp.
Tác động đến hệ phân cấp số lớn
Sự tồn tại của số chính xác tạo ra một ranh giới mới trong hệ phân cấp số lớn, tách biệt khỏi các hệ thống phân cấp tương thích với ZFC. Điều này thách thức trực giác rằng mọi tiên đề vô hạn mạnh đều phải tương thích với V = HOD. Hơn nữa, những tương tác cực đoan giữa các số này với các tiên đề số lớn khác tiếp tục phá vỡ hệ thống phân cấp tuyến tính truyền thống.
Bác bỏ giả thuyết hod và mở rộng giới hạn
Giả thuyết HOD của Woodin khẳng định rằng V "gần" với HOD, cụ thể rằng ZFC cùng với sự tồn tại của một số mở rộng kéo theo rằng các số chính quy đủ lớn không thể là ω-đo lường mạnh (ω-strongly measurable) trong HOD.
Nghiên cứu này chứng minh rằng số chính xác kết hợp với tiên đề số mở rộng có thể trực tiếp mâu thuẫn với giả thuyết này. Sự khám phá ra số siêu chính xác tái định nghĩa cách chúng tương tác với cấu trúc tuyến tính truyền thống của số lớn.
Những số này khuếch đại ảnh hưởng của các số lớn khác, mở rộng hệ phân cấp Icarus của Woodin và thúc đẩy một sự đánh giá lại toàn diện về hệ phân cấp số lớn.
