Myvideo

Guest

Login

28 некоторые полные теории

Uploaded By: Myvideo
1 view
0
0 votes
0

Признак Лося - Воота полноты теории первого порядка. Теории, допускающие элиминацию кванторов, признак полноты. - теория чистого равенства - теория плотных линейных порядков без начала и конца - теория алгебраически замкнутых полей характеристики 0 (или p) - теория вещественно замкнутых упорядоченых полей - арифметика Пресбургера - элементарная геометрия Тарского

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later