On the for all there exists-Theories of Free Projective Planes

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

Аннотация

Studying the elementary properties of free projective planes of finite rank, we prove that for m > n, an arbitrary for all there exists for all-formula phi(& x233;) and a tuple u of elements of the free projective plane Fn if phi(u) holds on the plane Fm then phi(u) holds on the plane Fn too. This implies the coincidence of the for all there exists-theories of free projective planes of different finite ranks.

Язык оригиналаанглийский
Страницы (с-по)95-108
Число страниц14
ЖурналSiberian Mathematical Journal
Том61
Номер выпуска1
DOI
СостояниеОпубликовано - янв 2020

Цитировать