scientific article; zbMATH DE number 4152351

zbMATH Open0703.03014MaRDI QIDQ3481683FDOQ3481683

Authors: Mikhaĭl G. Peretyat'kin 

Publication date: 1990

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

finitely axiomatizable theoriesrecursively axiomatizable theories

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Cited In (5)

• Title not available (Why is that?)
• A simple example of blocking the Craig trick
• Title not available (Why is that?)
• Combining Finite Combination Properties: Finite Models and Busy Beavers
• 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)