Güzel isim - Nice name - Wikipedia

İçinde küme teorisi, bir güzel isim kullanılır zorlama genel modeldeki alt kümelerin sayısına bir üst sınır empoze etmek. Küme teorisinde bağımsızlık sonuçlarını kanıtlamaya zorlama bağlamında kullanılır. Easton teoremi.

Resmi tanımlama

İzin Vermek ZFC geçişli olmak, zorlama kavramı ve varsayalım genel bitti . Sonra herhangi biri için -adı , ,

alt kümesi için güzel bir isim Eğer bir -Aşağıdaki özellikleri karşılayan ad:

(1)

(2) Hepsi için -isimler , bir antikain oluşturur.

(3) (Doğal ekleme): Eğer o zaman var içinde öyle ki .

Referanslar

  • Kenneth Kunen (1980) Küme teorisi: bağımsızlık kanıtlarına girişStudies in logic and the basic of matematiğin 102. kitabı (Elsevier) ISBN  0-444-85401-0, s. 208