Wednesday, July 02, 2008

Finite-variable hierarchy conjecture

It seems that Ben Rossman has resolved another long-standing open problem in finite model theory: finite-variable hierarchy conjecture. Loosely speaking, the conjecture is that over ordered graphs first-order logic with k+1 variable is more powerful than first-order logic with k variable. The problem is nicely summarized in Anuj Dawar's survey. Ben has shown that this hierarchy is strict. What was previously known is that (over ordered graphs) first-order logic with 3 variables is strictly more expressive than first-order logic with 2 variables, but it was not known whether first-order logic with 3 variables is less expressive than first-order logic with k variables, for every k > 3. Worse yet, it wasn't even known whether this hierarchy is strict. See Anuj Dawar's survey for further details.

I believe this is the third big open problems that Ben has resolved in this decade. Go Ben!

29 comments:

halaman rumah said...

notes that are beneficial to my knowledge,

cara beli rumah tanpa modal said...

articles that I like

perumahan baru di tangerang said...

thank you for your sharing.it is very good.

harga rumah saat ini said...

so many that I can take from this blog very helpful.

rumah bebas banjir said...

i like your article, thanks to sharing master :)

model rumah minimalis said...

time is very valuable and can not be repeated, thanks to the article master

rumah hak milik said...

i like your blog, thanks to information :)

rumah hak milik said...

i like your blog, thanks to information :)

rumah hak milik said...

Very beautiful, this blog write very meaningful,your article is really Great :)

perumahan di sawangan depok said...

your articles that I like :)

green orchid residence bsd said...

thank you. awaited next article :)

rumah dijual di serpong said...

thank you for sharing this information very useful :)

Rumah Minimalis 1 Lantai Dijual said...

I strongly agree with your article :)

Perumahan di pamulang said...

i like your article, thanks to sharing master :)

Perkembangan kota Cibinong said...

thank you for sharing this information very useful :)

Perumahan di pamulang said...

thanks for knowledge master :)

Perumahan di pamulang said...

thanks for knowledge master :)

Perumahan Trevista Ciputat said...

I strongly agree with your article :)

Sawangan Green Park Depok said...

Good! Wish everybody wrote so :)

perumahan griya cibinong asri said...

thank you. awaited next article :)

pengaruh nilai tukar rupiah said...

thanks to sharing master

Tips mencari harga pasaran property said...

demonstration of interest :)

Perkembangan Investasi said...

thanks for knowledge master :)

Perumahan Baru di Tangerang Se said...

notes that are beneficial to my knowledge, thanks :)

peran kepala desa dalam pembel said...

so many that I can take from this blog very helpful. :)

Tips Memilih Rak Dapur said...

thank you for the information :)

7 Solusi Masalah Perumahan said...

I really enjoyed every article written on this blog :)

Cara Tepat Melihat Properti Se said...

very useful information :)

PENGERTIAN PERUMAHAN said...

thanks to article master :)