Definable families of theories, related calculi and ranks

N. D. Markhabatov; S. V. Sudoplatov

doi:10.33048/semi.2020.17.048

Definable families of theories, related calculi and ranks

N. D. Markhabatov, S. V. Sudoplatov

Section of Algebra and Mathematical Logic

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

4 Citations (Scopus)

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.

Original language	English
Pages (from-to)	700-714
Number of pages	15
Journal	Сибирские электронные математические известия
Volume	17
DOIs	https://doi.org/10.33048/semi.2020.17.048
Publication status	Published - 1 Jan 2020

Keywords

Calculus
Definable subfamily
Degree
Family of theories
Rank

OECD FOS+WOS

1.01 MATHEMATICS

Access to Document

10.33048/semi.2020.17.048

Cite this

@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",

}

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 -

Definable families of theories, related calculi and ranks

Abstract

Keywords

OECD FOS+WOS

Access to Document

Other files and links

Fingerprint

Cite this