scientific article; zbMATH DE number 4152351

MaRDI QIDQ3481683zbMATH OpenFDO

Authors Mikhaĭl G. Peretyat'kin

Publication date 1990

zbMATH Keywords

finitely axiomatizable theoriesrecursively axiomatizable theories

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• scientific article; zbMATH DE number 1357400
• Turing machine computations in finitely axiomatizable theories
• Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
• scientific article; zbMATH DE number 4083594
• scientific article; zbMATH DE number 1081433

Cited in

(6)

• Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
• First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
• scientific article; zbMATH DE number 7401616 (Why is no real title available?)
• scientific article; zbMATH DE number 1357400 (Why is no real title available?)
• A simple example of blocking the Craig trick
• Combining Finite Combination Properties: Finite Models and Busy Beavers

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 Q3481683)