Vũ trụ trong phân tích siêu tiên đề

Springer Science and Business Media LLC - Tập 42 - Trang 129-151 - 2003
Christian Rüede1
1Idastr. 20, 8003 Zürich, Switzerland. e-mail: [email protected], , CH

Tóm tắt

Trong bài báo này, chúng tôi giới thiệu các lý thuyết về vũ trụ trong phân tích. Chúng tôi thảo luận về một biến thể không đồng nhất, một biến thể đồng nhất và một biến thể tối thiểu. Phân tích về các giới hạn lý thuyết chứng minh của những hệ thống này được thực hiện, chỉ sử dụng các phương pháp của lý thuyết chứng minh tiên nghiệm. Kết quả cho thấy rằng tất cả các lý thuyết được giới thiệu đều có sức mạnh lý thuyết chứng minh nằm giữa Γ0 và ϕ1ɛ00.

Từ khóa

#vũ trụ #phân tích #lý thuyết chứng minh #hệ thống tiên đề #sức mạnh lý thuyết chứng minh