Standard

Definable families of theories, related calculi and ranks. / Markhabatov, N. D.; Sudoplatov, S. V.

In: Сибирские электронные математические известия, Vol. 17, 01.01.2020, p. 700-714.

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

Harvard

Markhabatov, ND & Sudoplatov, SV 2020, 'Definable families of theories, related calculi and ranks', Сибирские электронные математические известия, vol. 17, pp. 700-714. https://doi.org/10.33048/semi.2020.17.048

APA

Markhabatov, N. D., & Sudoplatov, S. V. (2020). Definable families of theories, related calculi and ranks. Сибирские электронные математические известия, 17, 700-714. https://doi.org/10.33048/semi.2020.17.048

Vancouver

Markhabatov ND, Sudoplatov SV. Definable families of theories, related calculi and ranks. Сибирские электронные математические известия. 2020 Jan 1;17:700-714. doi: 10.33048/semi.2020.17.048

Author

Markhabatov, N. D. ; Sudoplatov, S. V. / Definable families of theories, related calculi and ranks. In: Сибирские электронные математические известия. 2020 ; Vol. 17. pp. 700-714.

BibTeX

@article{f7d9d55b568e4146a1fa9779ad6cef2a,
title = "Definable families of theories, related calculi and ranks",
abstract = "We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.",
keywords = "Calculus, Definable subfamily, Degree, Family of theories, Rank",
author = "Markhabatov, {N. D.} and Sudoplatov, {S. V.}",
year = "2020",
month = jan,
day = "1",
doi = "10.33048/semi.2020.17.048",
language = "English",
volume = "17",
pages = "700--714",
journal = "Сибирские электронные математические известия",
issn = "1813-3304",
publisher = "Sobolev Institute of Mathematics",

}

RIS

TY - JOUR

T1 - Definable families of theories, related calculi and ranks

AU - Markhabatov, N. D.

AU - Sudoplatov, S. V.

PY - 2020/1/1

Y1 - 2020/1/1

N2 - We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.

AB - We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.

KW - Calculus

KW - Definable subfamily

KW - Degree

KW - Family of theories

KW - Rank

UR - http://www.scopus.com/inward/record.url?scp=85087406993&partnerID=8YFLogxK

U2 - 10.33048/semi.2020.17.048

DO - 10.33048/semi.2020.17.048

M3 - Article

AN - SCOPUS:85087406993

VL - 17

SP - 700

EP - 714

JO - Сибирские электронные математические известия

JF - Сибирские электронные математические известия

SN - 1813-3304

ER -

ID: 24722019