Special relations for formulae, their equivalence relations and theories

Authors

  • Sergey Sudoplatov Sobolev Institute of Mathematics SO RAN

Keywords:

formula, special relation, equivalence relation, theory.

Abstract

We study properties and characteristics for special relations of formulae in given languages producing equivalence relations both in general case and for elementary theories. Characteristics for chains of special relations and equivalence relations are described.

Downloads

Published

2022-04-19

Issue

Vol. 19 No. 1 (2022): Volume 19, N 1

Section

Mathematical logic, algebra and number theory