Teori C-minimal

Dalam teori model, cabang logika matematika, Teori C-minimal adalah teori yang "minimal" sehubungan dengan hubungan terner C dengan properti tertentu. Bidang tertutup secara aljabar dengan penilaian (Krull) mungkin adalah contoh yang paling penting.

Gagasan ini didefinisikan dalam analogi dengan teori o-minimal, yang "minimal" (dalam arti yang sama) sehubungan dengan tatanan linear.

Definisi 

C-relasi adalah relasi terner C(x;yz) yang memenuhi aksioma berikut.
 
 
 
 
A Struktur C-minimal adalah struktur M, dalam tanda tangan yang berisi simbol C.

Contoh 

Untuk bilangan prima  p  dan p-bilangan adic a maka |a|p menunjukkan bahwa p-adic norma. Kemudian relasi didefinisikan oleh  adalah hubungan C, dan teori Qp dengan penjumlahan dan hubungan ini adalah C-minimal. Teori Qp sebagai bidang, bagaimanapun, bukanlah C-minimal.

Referensi 

 
 

Model theory