Standard

On the for all there exists-Theories of Free Projective Planes. / Kogabaev, N. T.

In: Siberian Mathematical Journal, Vol. 61, No. 1, 01.2020, p. 95-108.

Research output: Contribution to journal › Article › peer-review

Harvard

Kogabaev, NT 2020, 'On the for all there exists-Theories of Free Projective Planes', Siberian Mathematical Journal, vol. 61, no. 1, pp. 95-108. https://doi.org/10.1134/S0037446620010085

APA

Kogabaev, N. T. (2020). On the for all there exists-Theories of Free Projective Planes. Siberian Mathematical Journal, 61(1), 95-108. https://doi.org/10.1134/S0037446620010085

Vancouver

Kogabaev NT. On the for all there exists-Theories of Free Projective Planes. Siberian Mathematical Journal. 2020 Jan;61(1):95-108. doi: 10.1134/S0037446620010085

Author

Kogabaev, N. T. / On the for all there exists-Theories of Free Projective Planes. In: Siberian Mathematical Journal. 2020 ; Vol. 61, No. 1. pp. 95-108.

BibTeX

@article{abd0c9e31a254dafa0f34dd3895d0d1a,
title = "On the for all there exists-Theories of Free Projective Planes",
abstract = "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.",
keywords = "elementary theory, for all there exists-theory, projective plane, free projective plane, configuration, incidence, ELEMENTARY THEORY, HOMOMORPHISMS",
author = "Kogabaev, {N. T.}",
year = "2020",
month = jan,
doi = "10.1134/S0037446620010085",
language = "English",
volume = "61",
pages = "95--108",
journal = "Siberian Mathematical Journal",
issn = "0037-4466",
publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",
number = "1",

}

RIS

TY - JOUR

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

AU - Kogabaev, N. T.

PY - 2020/1

Y1 - 2020/1

N2 - 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.

AB - 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.

KW - elementary theory

KW - for all there exists-theory

KW - projective plane

KW - free projective plane

KW - configuration

KW - incidence

KW - ELEMENTARY THEORY

KW - HOMOMORPHISMS

U2 - 10.1134/S0037446620010085

DO - 10.1134/S0037446620010085

M3 - Article

VL - 61

SP - 95

EP - 108

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 1

ER -

ID: 26096978