A technical prototype of the finite signature reduction procedure for the algebraic mode of definability

zbMATH Open1488.03021MaRDI QIDQ3380263FDOQ3380263

Authors: Mikhaĭl G. Peretyat'kin 

Publication date: 27 September 2021

Recommendations

• Virtual algebraic isomorphisms between predicate calculi of finite rich signatures
• Refined definitions for finitary and infinitary similarity relations of theories. I: Signature reduction procedures and constructions shortly, and fast definitions for finitary and infinitary lists
• Refined definitions for finitary and infinitary similarity relations of theories. III: Scheme of standard transformations of theories, and signature reduction procedures
• scientific article; zbMATH DE number 35403
• Finitary Algebraic Logic

zbMATH Keywords

first-order logicincomplete theoryTarski-Lindenbaum algebraCartesian extension of a theorysignature reduction procedure

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Computable structure theory, computable model theory (03C57)

Cited In (3)

• Refined definitions for finitary and infinitary similarity relations of theories. I: Signature reduction procedures and constructions shortly, and fast definitions for finitary and infinitary lists
• Refined definitions for finitary and infinitary similarity relations of theories. III: Scheme of standard transformations of theories, and signature reduction procedures
• Virtual algebraic isomorphisms between predicate calculi of finite rich signatures

This page was built for publication: A technical prototype of the finite signature reduction procedure for the algebraic mode of definability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3380263)