scientific article; zbMATH DE number 7401616

MaRDI QIDQ3379824zbMATH OpenFDO

Authors Mikhaĭl G. Peretyat'kin

Publication date 27 September 2021

zbMATH Keywords

algorithmfirst-order logicinterretationmodeltheory

Mathematics Subject Classification ID

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

Recommendations

• 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 1357400
• scientific article; zbMATH DE number 554078
• scientific article; zbMATH DE number 4152351
• Infinitary definitions of equivalence relations in models of PA
• Dependences between definitions of finiteness
• A finite axiomatisation of inductive-inductive definitions
• Equivalents of the finitary non-deterministic inductive definitions

Cited in

(4)

• A finitary realizable list of properties
• 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 4059363 (Why is no real title available?)

This page was built for publication:

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