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

MaRDI QIDQ3379809zbMATH OpenFDO

Authors Mikhaĭl G. Peretyat'kin

Publication date 27 September 2021

zbMATH Keywords

modelalgorithminterpretationfirst-order logictheory

Mathematics Subject Classification ID

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

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

Cited in

(7)

• scientific article; zbMATH DE number 7401616 (Why is no real title available?)
• scientific article; zbMATH DE number 4055021 (Why is no real title available?)
• A technical prototype of the finite signature reduction procedure for the algebraic mode of definability
• A finitary realizable list of properties
• scientific article; zbMATH DE number 4059363 (Why is no real title available?)
• On some properties of lists and fuzzy lists
• Refined definitions for finitary and infinitary similarity relations of theories. III: Scheme of standard transformations of theories, and signature reduction procedures

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)