scientific article; zbMATH DE number 3979039

MaRDI QIDQ3744147zbMATHFDO

Authors

Publication date 1981

zbMATH Keywords

Alma-AtaTheoretical programming

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)

Recommendations

• scientific article; zbMATH DE number 1081433
• Automatic models of first order theories
• Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
• Classification Theory and Stationary Logic
• Stability and General Logics

Cited in

(1)

• Pseudofinite formulae

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