Definable families of theories, related calculi and ranks

N. D. Markhabatov, S. V. Sudoplatov

Research output: Contribution to journalArticlepeer-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 languageEnglish
Pages (from-to)700-714
Number of pages15
JournalСибирские электронные математические известия
Volume17
DOIs
Publication statusPublished - 1 Jan 2020

Keywords

  • Calculus
  • Definable subfamily
  • Degree
  • Family of theories
  • Rank

OECD FOS+WOS

  • 1.01 MATHEMATICS

Fingerprint

Dive into the research topics of 'Definable families of theories, related calculi and ranks'. Together they form a unique fingerprint.

Cite this