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

(5)

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

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)