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

algorithmfirst-order logicinterpretationmodeltheory

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

(8)

• A finitary realizable list of properties
• Semantic universality of theories over a superlist
• On some properties of lists and fuzzy lists
• scientific article; zbMATH DE number 7401616 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 4055021 (Why is no real title available?)
• scientific article; zbMATH DE number 4059363 (Why is no real title available?)

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)