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

zbMATH Open1488.03009MaRDI QIDQ3379809FDOQ3379809

Authors: Mikhaĭl G. Peretyat'kin 

Publication date: 27 September 2021

Recommendations

• scientific article; zbMATH DE number 7401616
• 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 4055021
• A technical prototype of the finite signature reduction procedure for the algebraic mode of definability
• The theory of lists and \(\Sigma\)-definability

zbMATH Keywords

modelalgorithminterpretationfirst-order logictheory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Cited In (7)

• Title not available (Why is that?)
• Refined definitions for finitary and infinitary similarity relations of theories. III: Scheme of standard transformations of theories, and signature reduction procedures
• A technical prototype of the finite signature reduction procedure for the algebraic mode of definability
• On some properties of lists and fuzzy lists
• Title not available (Why is that?)
• A finitary realizable list of properties
• Title not available (Why is that?)

This page was built for publication: 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

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