Approximations of theories
Logic
2019-01-28 v1
Abstract
We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of theories as well as their -spectra are found.
Cite
@article{arxiv.1901.08961,
title = {Approximations of theories},
author = {Sergey Sudoplatov},
journal= {arXiv preprint arXiv:1901.08961},
year = {2019}
}
Comments
arXiv admin note: text overlap with arXiv:1701.00206, arXiv:1701.00208, arXiv:1701.00205, arXiv:1601.00043, arXiv:1901.08464